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_parser | |
| parent | e07d7fcaeee2cb3c20dd0812b836c78ee2b29f46 (diff) | |
Implement normalization for some more builtins
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions