summaryrefslogtreecommitdiff
path: root/dhall/src/syntax
diff options
context:
space:
mode:
authorNadrieril2020-01-20 16:17:48 +0000
committerNadrieril2020-01-20 16:17:48 +0000
commit476ef4594c9e8c7121bd8fc303e74ef8207a88f4 (patch)
treef857e034ca2c1e78d567b535672638d2f7703713 /dhall/src/syntax
parentc448698f797f2304dca0e0b8b833959de00ca079 (diff)
Split TyEnv into two envs
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions