diff options
| author | Nadrieril | 2020-12-06 22:52:50 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-12-07 19:34:38 +0000 |
| commit | 9991bd4891774c4dd598decae02ee860554d2ab7 (patch) | |
| tree | 979cd6ce03dd4fd0673ae4471334ff0ea79dbccc /dhall/src/operations/typecheck.rs | |
| parent | 3a623acaf70c934ee9dbd74dfadcaa2c612160c5 (diff) | |
Improve ergonomics of `Ctxt`
Diffstat (limited to 'dhall/src/operations/typecheck.rs')
0 files changed, 0 insertions, 0 deletions