summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorNadrieril2019-04-18 11:42:05 +0200
committerNadrieril2019-04-18 11:42:05 +0200
commit22aa0081d314453bd1bb607384da3ed983dc4364 (patch)
tree5766c3213df2a92e7bfac4e654236c3321ac481f /dhall/src
parent63d3356f40ef48a7735a2151a14ad9952fc245db (diff)
Simplify implementation of shift and subst_shift
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions