summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
authorNadrieril2020-02-13 19:48:11 +0000
committerNadrieril2020-02-13 19:48:11 +0000
commit7b649b8647c60f1c02050805520f307edff0a94f (patch)
tree73a6a38e430ba257228fd04ee69fc4f5e138ad7f /dhall/tests
parent40bee3cdcb9ac0c76996feeceb6ca160a6bd8b42 (diff)
Only store type at root node in tyexpr
Diffstat (limited to 'dhall/tests')
0 files changed, 0 insertions, 0 deletions