summaryrefslogtreecommitdiff
path: root/dhall/src/normalize.rs
diff options
context:
space:
mode:
authorNadrieril2019-04-11 15:15:20 +0200
committerNadrieril2019-04-11 15:15:20 +0200
commit36a6f9a09b966922baf4838599e57250982b0fc3 (patch)
tree94e60577c9e8efb9d673f5e661c4a8eae911fd8e /dhall/src/normalize.rs
parentc3c1d3d276216796394b553ecbe2832897e3deb0 (diff)
Abstract get_type() into a trait
Diffstat (limited to 'dhall/src/normalize.rs')
0 files changed, 0 insertions, 0 deletions