summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze
diff options
context:
space:
mode:
authorNadrieril2020-02-05 18:10:41 +0000
committerNadrieril2020-02-05 18:10:41 +0000
commitde7664d9dda95dd16742bc30e16a967c43d687ee (patch)
treeba757f557e694f63c9206394d6a162f6db21ae55 /dhall/src/semantics/nze
parent7ff5974052e3e18109acbe6e4f0588698d6129ba (diff)
Typecheck record completion
Diffstat (limited to 'dhall/src/semantics/nze')
0 files changed, 0 insertions, 0 deletions