summaryrefslogtreecommitdiff
path: root/dhall/src/semantics
diff options
context:
space:
mode:
authorNadrieril2020-03-22 22:11:00 +0000
committerNadrieril2020-03-31 21:45:31 +0100
commita70922c6c6beb58a45da80f15576b54fb915ec28 (patch)
tree13ec93aef7a8d5bb717b7722116c58f76a57dc36 /dhall/src/semantics
parentfd4a81b1a92c1859941538b7f2212c621f4b43fd (diff)
Rework SimpleType
Diffstat (limited to 'dhall/src/semantics')
0 files changed, 0 insertions, 0 deletions