summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck
diff options
context:
space:
mode:
authorNadrieril2020-01-24 16:01:08 +0000
committerNadrieril2020-01-24 16:01:08 +0000
commitfccccac6463cb3ca91206d5c41bbf51fc2ec4e0f (patch)
tree7a2483fa6f64a1b7fcb3c3b9a1662861debd4924 /dhall/src/semantics/tck
parent9e7cc77b6a25569b61340f39a2058e23cdc4a437 (diff)
Reuse normalize_one_layer in new eval flow
Diffstat (limited to 'dhall/src/semantics/tck')
0 files changed, 0 insertions, 0 deletions