summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2019-04-23 22:37:05 +0200
committerNadrieril2019-04-23 22:38:33 +0200
commitd1ad0a2036ce689d4a6b5f38a1641b9ce475df9e (patch)
treecc053df9adbe5fcfb19a04c4d5b58d2cd28f03b0 /dhall-lang
parent4b1ad84cb2dad533069d685e212894d517d8fa57 (diff)
Fix shifting under Pi
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions