summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
authorNadrieril2020-01-24 21:33:21 +0000
committerNadrieril2020-01-24 21:33:21 +0000
commitb72f0968ac19058b9cc513ab0ed1785133232a3d (patch)
tree07647b0f0e3e0f9583d06b4fb1210e6c702d535f /dhall/tests
parent9e9b556ee2212540ba43d85249df8c763aa6da2b (diff)
Implement basic typecheck with new approach
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions