diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-08-06 21:12:00 +0200 |
|---|---|---|
| committer | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-08-06 21:12:00 +0200 |
| commit | 33fe6286907592b1783a4b9b7c4b7f63ae080cde (patch) | |
| tree | 82eb0ed75f052d76d3d7b4568fb2fd762897d31a /latex-test/ref/Simple/main.tex | |
| parent | acdbdc035468374cbea2ba2043987dac95c44bfe (diff) | |
Apply promoted type quoting to type-level consing.
Diffstat (limited to 'latex-test/ref/Simple/main.tex')
0 files changed, 0 insertions, 0 deletions