diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-03-18 14:42:43 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-18 14:42:43 -0400 |
| commit | 7618613814d5aca838d70df0c1b20ec99f5611a8 (patch) | |
| tree | a2b332704c4ff6157c49d3b211926cd294d8b21c /latex-test/ref/TypeFamilies3/TypeFamilies3.tex | |
| parent | 3174ad334c2c505394703ce96fcb67ace94a427c (diff) | |
| parent | 8787d8a840d27187f4c4f4f9c469dfca6137fec0 (diff) | |
Merge pull request #1133 from hsyl20/wip/hsyl20/modules/types
Modules: Types
Diffstat (limited to 'latex-test/ref/TypeFamilies3/TypeFamilies3.tex')
0 files changed, 0 insertions, 0 deletions