diff options
| author | Nadrieril | 2019-04-13 16:48:35 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-13 16:48:35 +0200 |
| commit | 7afdd4773dc47ccae6653a18215a6acd9553feaf (patch) | |
| tree | c05848e74e56f0b34e2a718cba7b6b1f678fe566 /dhall/src/errors/IfBranchMustBeTerm.txt | |
| parent | a4e8f799fb4665b210086c28647e0fa335384913 (diff) | |
Split typecheck into two phases
Diffstat (limited to 'dhall/src/errors/IfBranchMustBeTerm.txt')
0 files changed, 0 insertions, 0 deletions