diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-12-15 15:17:59 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-12-15 15:17:59 -0500 |
| commit | 4c6b8d4bb722b6e51406aa0afc334cc437461424 (patch) | |
| tree | c158fbf692f4e7a50cc286a494068d9ebb428b5c /latex-test/src/GadtConstructorArgs | |
| parent | 4ffb30d8b637ccebecc81ce610f0af451ac8088d (diff) | |
Revert "Update for boxed rep"
This reverts commit 4ffb30d8b637ccebecc81ce610f0af451ac8088d.
Diffstat (limited to 'latex-test/src/GadtConstructorArgs')
0 files changed, 0 insertions, 0 deletions