summaryrefslogtreecommitdiff
path: root/dhall_generator
diff options
context:
space:
mode:
authorNadrieril2019-04-16 19:43:09 +0200
committerNadrieril2019-04-16 19:43:09 +0200
commit12e9b4a5963482d50a42588d71f210a80db36c4b (patch)
tree82be11172e43030f641ea409902e1e34062738ce /dhall_generator
parent1cb13e7d75035fc1e7fcea76f57847f8dbbbac87 (diff)
Typecheck higher-kinded records
Diffstat (limited to 'dhall_generator')
0 files changed, 0 insertions, 0 deletions