diff options
author | Nadrieril | 2019-03-06 00:43:25 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-06 00:43:25 +0100 |
commit | df245c316029f5b3037c14514bd3535613f26222 (patch) | |
tree | 762afdedbefbbc504d9fba5ef6d9753879d69e2f /dhall_core/src | |
parent | e07d7fcaeee2cb3c20dd0812b836c78ee2b29f46 (diff) |
Implement normalization for some more builtins
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions