summaryrefslogtreecommitdiff
path: root/dhall/src/binary.rs
diff options
context:
space:
mode:
authorNadrieril2019-04-20 19:09:00 +0200
committerNadrieril2019-04-20 19:09:00 +0200
commita0c28707cbbfe334f3aebc7587a5034a49fc717c (patch)
tree466392b0fb58062d45a69c59b4fa8dcff78253e9 /dhall/src/binary.rs
parentfd55b3e80f2955c5fe498b5f27ba24b54b9cb941 (diff)
Remove WHNF/Closure distinction
Diffstat (limited to 'dhall/src/binary.rs')
0 files changed, 0 insertions, 0 deletions