diff options
| author | Nadrieril Feneanar | 2019-08-15 22:03:27 +0200 |
|---|---|---|
| committer | GitHub | 2019-08-15 22:03:27 +0200 |
| commit | b8234f63c27eb83ff54f719bf51bf3c969c36a3b (patch) | |
| tree | b04f1b2bec18ad5f24a1619f8e4b6c6bd491b831 /dhall/src/error/text/IfBranchMustBeTerm.txt | |
| parent | a9804009f405be7e8a89e301f280ee9d51b57e5e (diff) | |
| parent | ffb5a4c26960960f526719d9b333df80119fef3c (diff) | |
Merge pull request #103 from Nadrieril/precedence-climbing
Use precedence climbing to parse expressions with operators
Diffstat (limited to 'dhall/src/error/text/IfBranchMustBeTerm.txt')
0 files changed, 0 insertions, 0 deletions