summaryrefslogtreecommitdiff
path: root/dhall/src/traits
diff options
context:
space:
mode:
authorNadrieril2019-04-19 22:22:58 +0200
committerNadrieril2019-04-19 22:22:58 +0200
commit976647b1a887ee0753bf39dacd9528f62d9e086a (patch)
tree0ec9f2b19a2a0d661e8264324ac853375a5724c2 /dhall/src/traits
parentb127f516cde72cf3c090e8e01fe40c00d8e0ff9c (diff)
Handle RecordLits fully semantically
Diffstat (limited to 'dhall/src/traits')
0 files changed, 0 insertions, 0 deletions