diff options
| author | Cale Gibbard <cgibbard@gmail.com> | 2020-07-30 14:00:19 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@richarde.dev> | 2020-11-25 23:18:35 -0500 |
| commit | acf235d607879eb9542127eb0ddb42a250b5b850 (patch) | |
| tree | ab41b4f5840cd6a7631e4f2b2c94da010e88e614 /latex-test/src/GadtConstructorArgs | |
| parent | 8d260690b53f2fb6b54ba78bd13d1400d9ebd395 (diff) | |
Add type arguments to PrefixCon
Diffstat (limited to 'latex-test/src/GadtConstructorArgs')
0 files changed, 0 insertions, 0 deletions