diff options
| author | Nadrieril | 2020-02-17 18:06:34 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-17 18:06:34 +0000 |
| commit | 06714f925a6588ef5c262bb7a9cf3f9e40f13120 (patch) | |
| tree | c4fa4f953fa6563af405ebe7c4b2461c7118a45a /dhall/src/semantics/phase | |
| parent | 8da4445e6d06cf79d43112042b69c798f86884f3 (diff) | |
Factor out desugaring from resolve
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions