diff options
| author | Nadrieril | 2020-02-09 21:58:28 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-09 21:58:28 +0000 |
| commit | 21db63d3e614554f258526182c7ed89a2c244b65 (patch) | |
| tree | b222217123f53774e2c5c70160c3fc48e08045fc /dhall/src/syntax | |
| parent | a709c65eb28f1b6a666f15bfc2255da7bc7105ab (diff) | |
Take Hir for typecheck
Diffstat (limited to 'dhall/src/syntax')
0 files changed, 0 insertions, 0 deletions