summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2019-08-13 17:20:35 +0200
committerNadrieril2019-08-13 17:20:35 +0200
commit1ed3123aeb3c9272b6810605a7ee781c42095f09 (patch)
tree350f64e20189d61bece4017cedc1415f3639204c /dhall-lang
parentfc6c42f9a80902f7183c297cd8f9dcdbe5376ec5 (diff)
Swap Typed and TypeThunk
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions