diff options
author | Nadrieril | 2019-12-17 11:51:57 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-17 11:51:57 +0000 |
commit | 97d5840ef607e9eedb1801c7711684908af82b60 (patch) | |
tree | eaaf2944b94aea32da8842b149d206826a3581df /dhall/src/syntax/binary | |
parent | 27b054b0465d106fb4b6ba4d6dec16288cbc4e1d (diff) |
Move binary encoding/decoding to syntax/
Diffstat (limited to '')
-rw-r--r-- | dhall/src/syntax/binary.rs (renamed from dhall/src/semantics/phase/binary.rs) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/dhall/src/semantics/phase/binary.rs b/dhall/src/syntax/binary.rs index 9fe31ad..9fe31ad 100644 --- a/dhall/src/semantics/phase/binary.rs +++ b/dhall/src/syntax/binary.rs |