summaryrefslogtreecommitdiff
path: root/dhall_core/src
diff options
context:
space:
mode:
authorNadrieril2019-04-13 22:17:17 +0200
committerNadrieril2019-04-13 22:17:17 +0200
commitbc972ab7f76afa5bffcfbf705a2ecc30473fc4a2 (patch)
tree499d5acdc0610eb2550ebb5afa8e3a012ac98327 /dhall_core/src
parent427a3416507db3fd4b534322d996bc8aafba5259 (diff)
Implement ListAppend typechecking
Diffstat (limited to 'dhall_core/src')
0 files changed, 0 insertions, 0 deletions