summaryrefslogtreecommitdiff
path: root/serde_dhall/src/serde.rs
diff options
context:
space:
mode:
authorNadrieril2020-01-30 14:20:01 +0000
committerNadrieril2020-01-30 14:20:01 +0000
commitcb86493012b268ec32ad85a42b54fb1a2adab7b0 (patch)
treef178e67a5196c2d430bb0a7431f1b7b044883c46 /serde_dhall/src/serde.rs
parentda55a72717b247444a31b1932f85ce4abec03c14 (diff)
s/as_whnf/kind/
Diffstat (limited to 'serde_dhall/src/serde.rs')
0 files changed, 0 insertions, 0 deletions