diff options
| author | Basile Henry | 2020-11-01 23:33:38 +0100 |
|---|---|---|
| committer | Basile Henry | 2020-11-01 23:33:38 +0100 |
| commit | 7066e625fc945e66d8af91c633e762fe5f7b17f5 (patch) | |
| tree | c661bf84414d299c995222add6815a400fd78866 /dhall/src/operations/typecheck.rs | |
| parent | aaac028d21b02827a0c79b34728fb104e5649149 (diff) | |
Handle partially abstract with
Diffstat (limited to 'dhall/src/operations/typecheck.rs')
0 files changed, 0 insertions, 0 deletions