summaryrefslogtreecommitdiff
path: root/dhall/src/phase/normalize.rs
diff options
context:
space:
mode:
authorNadrieril2020-02-15 19:44:40 +0000
committerNadrieril2020-02-15 19:59:52 +0000
commitaa867b21f57f9bef2ec2b9d8450736f9111189ee (patch)
treeeab9042a53ceed53abd7982a83fd4d76cd869572 /dhall/src/phase/normalize.rs
parent5057144ed99bc4e1a76a0840dd39fc1bd862665c (diff)
Introduce proper Type struct
Diffstat (limited to 'dhall/src/phase/normalize.rs')
0 files changed, 0 insertions, 0 deletions