summaryrefslogtreecommitdiff
path: root/dhall_core/src
diff options
context:
space:
mode:
authorNadrieril2019-04-11 14:21:46 +0200
committerNadrieril2019-04-11 14:21:46 +0200
commitc3c1d3d276216796394b553ecbe2832897e3deb0 (patch)
tree62873b8439323eeda476d2ea5bbbd2d2faec2288 /dhall_core/src
parent544024abc717f4768fd7bde8327fc2718b5c94e7 (diff)
Handle untyped case differently from the type of Sort
Closes #59
Diffstat (limited to 'dhall_core/src')
0 files changed, 0 insertions, 0 deletions