diff options
| author | Nadrieril | 2019-08-15 15:33:53 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-15 15:41:19 +0200 |
| commit | e4bdadabeda8ff8dbae0376f9d1c25478b8c8821 (patch) | |
| tree | f6f788553dde3db1def383bf495f38c2e39dc476 /dhall_generated_parser/.gitignore | |
| parent | a9804009f405be7e8a89e301f280ee9d51b57e5e (diff) | |
Use precedence climbing to parse expressions with operators
This speeds up parsing around 30%
Diffstat (limited to 'dhall_generated_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions