diff options
| author | Nadrieril | 2020-01-25 13:51:24 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-25 13:52:08 +0000 |
| commit | 574fb56e87c1a71dc8d7efbff2789d3cfabdc529 (patch) | |
| tree | cd425a1cb351eee7f3d412a7da0cadf4e552fc31 /dhall/src/semantics/nze | |
| parent | 8c64ae33149db4edaaa89d2d187baf10a2b9f8bf (diff) | |
More typecheck
Diffstat (limited to 'dhall/src/semantics/nze')
0 files changed, 0 insertions, 0 deletions