diff options
author | Nadrieril | 2019-05-08 18:13:02 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-08 18:13:02 +0200 |
commit | 894424b61ecc72794976372bc5866734fd3a6d63 (patch) | |
tree | 6cd7132ae60c469ada7c1402349b67ab53a4ab7d /dhall/src/phase/binary.rs | |
parent | 8a47d27ccc1c800615cc721e01816fda7df68b01 (diff) |
Move binop normalization into a separate function
Diffstat (limited to 'dhall/src/phase/binary.rs')
0 files changed, 0 insertions, 0 deletions