summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze
diff options
context:
space:
mode:
authorNadrieril2020-02-05 17:52:27 +0000
committerNadrieril2020-02-05 17:52:27 +0000
commit7ff5974052e3e18109acbe6e4f0588698d6129ba (patch)
treefef73324e9dfa23c03bdd31a4e9e59500b950be5 /dhall/src/semantics/nze
parent5e50ad90b01ef5f589515280668187b722bfcb5f (diff)
Typecheck projection by type
Diffstat (limited to 'dhall/src/semantics/nze')
0 files changed, 0 insertions, 0 deletions