diff options
| author | Nadrieril | 2019-03-09 23:42:34 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-09 23:42:34 +0100 |
| commit | 3c5c6b31d3e35219f907499f094643e1bfba5db2 (patch) | |
| tree | f3ca38fe402eac4687070d47fd46322f66d23514 /dhall_core/src/core.rs | |
| parent | 4f4649fe1c0cdd16435c4e2b19df8fd5c9f8c638 (diff) | |
Considerably simplify typecheck using dhall_expr!()
Closes #17
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions