diff options
| author | Nadrieril | 2020-04-06 17:51:53 +0100 |
|---|---|---|
| committer | Nadrieril | 2020-04-06 18:33:50 +0100 |
| commit | 531fdb1757a97a3accc8e836a1ff3a3977c37bfe (patch) | |
| tree | 5bafd0d0c7b0289eece0ebffb4684b0f37f9837e /dhall/src/semantics/nze | |
| parent | 08e1d8ece4314b56d64fa08595c2e043b97896d1 (diff) | |
Factor out operations in typecheck
Diffstat (limited to 'dhall/src/semantics/nze')
0 files changed, 0 insertions, 0 deletions