aboutsummaryrefslogtreecommitdiff
path: root/latex-test/ref/GadtConstructorArgs/main.tex
diff options
context:
space:
mode:
authorSylvain Henry <sylvain@haskus.fr>2020-03-18 12:13:59 +0100
committerSylvain Henry <sylvain@haskus.fr>2020-03-18 15:24:00 +0100
commit8787d8a840d27187f4c4f4f9c469dfca6137fec0 (patch)
treea2b332704c4ff6157c49d3b211926cd294d8b21c /latex-test/ref/GadtConstructorArgs/main.tex
parent3174ad334c2c505394703ce96fcb67ace94a427c (diff)
Modules: Types
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs/main.tex')
0 files changed, 0 insertions, 0 deletions