summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/phase
diff options
context:
space:
mode:
authorNadrieril2020-01-29 21:31:53 +0000
committerNadrieril2020-01-29 21:31:53 +0000
commit22bec94618454f57773716870f5624579ab712ce (patch)
tree026c9c6adfc489895249ba473b5201bc32833fe4 /dhall/src/semantics/phase
parent26d4975a4c94c2b9fd0c075ad94c2588e3cf24e8 (diff)
s/QuoteEnv/VarEnv/
Diffstat (limited to 'dhall/src/semantics/phase')
0 files changed, 0 insertions, 0 deletions