diff options
| author | Nadrieril | 2020-01-30 11:24:48 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-30 11:24:48 +0000 |
| commit | 7dd2d64073b662acccb39601591c754279385308 (patch) | |
| tree | 9d07c65c601875fbce4faea171f0edface776186 /dhall/src/semantics/phase | |
| parent | b55e291825e4e7c6899d9bf7051b816660fa43a3 (diff) | |
No need for the current env to tck Foo/build closures
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions