diff options
author | Nadrieril | 2019-03-16 23:21:51 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-16 23:21:51 +0100 |
commit | 05454ab9936514409e1b3c97e36f3fb476d532ba (patch) | |
tree | 9ce983a7d76f861b22a6b8dabb68f34a80db15ac /dhall_parser/.gitignore | |
parent | 0f33caf4c1ee4d1f95d6ac3a41b5cf2f8efa7b54 (diff) |
Use Rc instead of Box in AST to allow structural sharing
Closes #29
Diffstat (limited to 'dhall_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions