summaryrefslogtreecommitdiff
path: root/dhall/src/operations/kind.rs
diff options
context:
space:
mode:
authorNadrieril2020-12-06 21:41:03 +0000
committerNadrieril2020-12-07 19:34:38 +0000
commit6287b7a7f9e421877ee13fefa586395fec844c99 (patch)
tree65129001dbd7e56561df656dc8eee8f441a05b25 /dhall/src/operations/kind.rs
parent9991bd4891774c4dd598decae02ee860554d2ab7 (diff)
Thread cx through typecheck
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions