diff options
author | Nadrieril | 2019-04-07 19:28:48 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-07 19:28:48 +0200 |
commit | 686cce9504e5390e047dc715b192c89f2c375ab0 (patch) | |
tree | 8f80c88d62e10e32e8ec30efd1a84b52aee11f4a /dhall/tests/typecheck.rs | |
parent | 333246347166905d70ed8cb4fa6cb0857c5df54a (diff) |
Use upstream grammar
Closes #43
Diffstat (limited to 'dhall/tests/typecheck.rs')
0 files changed, 0 insertions, 0 deletions