diff options
author | Nadrieril | 2020-04-06 18:33:58 +0100 |
---|---|---|
committer | Nadrieril | 2020-04-06 18:33:58 +0100 |
commit | 7efdbd11db0f54f065d4dc41f0cab4b158d4515c (patch) | |
tree | cff31e7b4b52b2b51490f0ee06a8dbcc46bdcefa /dhall/src/semantics/builtins.rs | |
parent | 531fdb1757a97a3accc8e836a1ff3a3977c37bfe (diff) |
Factor our operations in normalization
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions