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 /doc/configure.ac | |
parent | acdbdc035468374cbea2ba2043987dac95c44bfe (diff) |
Apply promoted type quoting to type-level consing.
Diffstat (limited to 'doc/configure.ac')
0 files changed, 0 insertions, 0 deletions