diff options
| author | Nadrieril | 2020-02-05 18:10:41 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-05 18:10:41 +0000 |
| commit | de7664d9dda95dd16742bc30e16a967c43d687ee (patch) | |
| tree | ba757f557e694f63c9206394d6a162f6db21ae55 /dhall/src/semantics/phase | |
| parent | 7ff5974052e3e18109acbe6e4f0588698d6129ba (diff) | |
Typecheck record completion
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions