diff options
| author | Nadrieril | 2020-01-29 21:31:53 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-29 21:31:53 +0000 |
| commit | 22bec94618454f57773716870f5624579ab712ce (patch) | |
| tree | 026c9c6adfc489895249ba473b5201bc32833fe4 /dhall/src/semantics/phase | |
| parent | 26d4975a4c94c2b9fd0c075ad94c2588e3cf24e8 (diff) | |
s/QuoteEnv/VarEnv/
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions