diff options
author | Nadrieril | 2019-03-06 16:43:17 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-06 16:43:17 +0100 |
commit | 932c4842bbc631a77fa518d3cfb55f11fea73ee7 (patch) | |
tree | 557de669a36f940223bde9bd5ef135dec56339ab /dhall/src/errors/NoDependentLet.txt | |
parent | 4d92f06c98c98c014a02c218b6c31cf81d9f0fec (diff) |
Simplify normalization using dhall! macro
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions