summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/phase
diff options
context:
space:
mode:
authorNadrieril2020-01-17 11:26:34 +0000
committerNadrieril2020-01-17 11:26:34 +0000
commit06f619e8b1654e506840d17dc1cbff4f2d9795c3 (patch)
tree52270f8b0bc5a13d694fdf8d21b5ccf8e546325a /dhall/src/semantics/phase
parent72d1e3c339cf550fa5af9981af6078a813feb80a (diff)
Simplify a bit
Diffstat (limited to 'dhall/src/semantics/phase')
0 files changed, 0 insertions, 0 deletions