diff options
| author | Nadrieril | 2019-03-21 15:42:16 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-21 15:42:16 +0100 |
| commit | 427c5e55a6e6768b22c3e7ad40594d451ac024e7 (patch) | |
| tree | ed5b8ae5af363536bbbf8054a0eeb6c014e3e2fa /dhall/src/errors/IfBranchMustBeTerm.txt | |
| parent | 7bbf42dc5d3727dffcb036ffe30dd433faff1950 (diff) | |
Rename Record/Union to RecordType/UnionType
Diffstat (limited to 'dhall/src/errors/IfBranchMustBeTerm.txt')
0 files changed, 0 insertions, 0 deletions