summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorNadrieril2019-04-06 11:17:40 +0200
committerNadrieril2019-04-06 11:18:43 +0200
commit870fa672a7b7c5c872968fd428c6fe77c3e79e4d (patch)
tree03b723aae7d9b5ca964f55fe9fa4d8b7d9f9db50 /dhall/src
parent0cf4d3845e75ac25e35c5e73eb2dfd58c5450af6 (diff)
subst_shift in a single pass
Closes #6
Diffstat (limited to 'dhall/src')
0 files changed, 0 insertions, 0 deletions