summaryrefslogtreecommitdiff
path: root/dhall_syntax
diff options
context:
space:
mode:
authorNadrieril2019-08-16 23:17:46 +0200
committerNadrieril2019-08-16 23:18:01 +0200
commit8dec798929f35df15a7bc3a6caa4f0c7954c4ffc (patch)
treed57db0de1dad7e4c392d59e4366d8b96f1f6893c /dhall_syntax
parentcc0c6cc420ca8019665e745797758c997cc35358 (diff)
Share type alongside the value in a thunk
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions