summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2019-04-06 14:15:48 +0200
committerNadrieril2019-04-06 14:15:48 +0200
commit02698056218c53635582001c5517c570f122f94d (patch)
tree293261e755c167870ea3330e505041e10521c7c7 /dhall-lang
parentf20aa69322394e648ebd0556a5862b6211c1061c (diff)
Loop through args when typechecking App
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions