diff options
author | Nadrieril | 2019-05-06 22:09:55 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-06 22:09:55 +0200 |
commit | 423fdeebe9247b16744fae4b50df415bbd08be04 (patch) | |
tree | f2f16407d7e365e6fecee400a1959ca08b2a5156 /dhall/src/phase/binary.rs | |
parent | 2075cba6d883278a534afd2d8fe8f0a5e9b2f0d0 (diff) |
Reorganize dhall into a phase structure
Diffstat (limited to '')
-rw-r--r-- | dhall/src/phase/binary.rs (renamed from dhall/src/binary.rs) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/dhall/src/binary.rs b/dhall/src/phase/binary.rs index 9c31d4c..9c31d4c 100644 --- a/dhall/src/binary.rs +++ b/dhall/src/phase/binary.rs |