summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck
diff options
context:
space:
mode:
authorNadrieril2020-04-06 18:33:58 +0100
committerNadrieril2020-04-06 18:33:58 +0100
commit7efdbd11db0f54f065d4dc41f0cab4b158d4515c (patch)
treecff31e7b4b52b2b51490f0ee06a8dbcc46bdcefa /dhall/src/semantics/tck
parent531fdb1757a97a3accc8e836a1ff3a3977c37bfe (diff)
Factor our operations in normalization
Diffstat (limited to 'dhall/src/semantics/tck')
0 files changed, 0 insertions, 0 deletions