diff options
| author | Nadrieril | 2020-12-06 21:41:03 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-12-07 19:34:38 +0000 |
| commit | 6287b7a7f9e421877ee13fefa586395fec844c99 (patch) | |
| tree | 65129001dbd7e56561df656dc8eee8f441a05b25 /dhall/src/syntax | |
| parent | 9991bd4891774c4dd598decae02ee860554d2ab7 (diff) | |
Thread cx through typecheck
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions