summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/phase
diff options
context:
space:
mode:
authorNadrieril2020-01-25 15:49:16 +0000
committerNadrieril2020-01-25 15:49:16 +0000
commit6c51ad1da8dc4df54618af80b445bf49f771ec43 (patch)
tree719879963eb6c734aedaac5173a7b6eae68b6ffe /dhall/src/semantics/phase
parent574fb56e87c1a71dc8d7efbff2789d3cfabdc529 (diff)
Moar typecheck
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions