diff options
| author | Nadrieril | 2020-01-17 18:31:45 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-17 18:31:45 +0000 |
| commit | ab672506fd45e33f60b1b962c4757f912b6e27be (patch) | |
| tree | 808846987354d14fa7f4b37317c9d7a930bd5777 /dhall/src/semantics/phase | |
| parent | 3881d36335fca6d72b0dd447130d6c1ce7ccbfee (diff) | |
Use alpha variables everywhere
Don't bother keeping name around, it complicates matters
Diffstat (limited to 'dhall/src/semantics/phase')
0 files changed, 0 insertions, 0 deletions