diff options
| author | Nadrieril | 2019-09-02 23:03:05 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-09-02 23:03:05 +0200 |
| commit | f892f0bdb1dc9a8f2d1cda245e17c28fcf1090b3 (patch) | |
| tree | d3dc2c2fd2b98c2938b01e7ffb5bf2a085b32feb /dhall/src/error/text/IfBranchMustBeTerm.txt | |
| parent | 5dde11c8ffb13fbaf5dbc9c2b544270c22a7d2f5 (diff) | |
Improve hygiene of identifiers
Diffstat (limited to 'dhall/src/error/text/IfBranchMustBeTerm.txt')
0 files changed, 0 insertions, 0 deletions