aboutsummaryrefslogtreecommitdiff
path: root/doc/configure.ac
diff options
context:
space:
mode:
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
commit33fe6286907592b1783a4b9b7c4b7f63ae080cde (patch)
tree82eb0ed75f052d76d3d7b4568fb2fd762897d31a /doc/configure.ac
parentacdbdc035468374cbea2ba2043987dac95c44bfe (diff)
Apply promoted type quoting to type-level consing.
Diffstat (limited to 'doc/configure.ac')
0 files changed, 0 insertions, 0 deletions