diff options
| author | Nadrieril | 2020-02-09 11:23:59 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-09 20:13:23 +0000 |
| commit | 27031b3739ff9f2043e64130a4c5699d0f9233e8 (patch) | |
| tree | d645b3db409d9cb477ad73e80d419c7bfd717976 /dhall/src/semantics/tck/typecheck.rs | |
| parent | 5870a46d5ab5810901198f03ed461d5c3bb5aa8a (diff) | |
Add Hir as untyped alternative to TyExpr
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions