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