diff options
| author | Nadrieril | 2019-03-04 18:26:28 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-04 18:26:28 +0100 |
| commit | c1c21e3ae53ffdbc639fa950093baa60e710e022 (patch) | |
| tree | 90db36bc1eef7756f1b88138a92174cf603adacd /dhall_parser/.gitignore | |
| parent | 24d3e235399ef421723cd597fe7a9408c3da54ec (diff) | |
Make some annotations optional in AST
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions