diff options
| author | Nadrieril | 2020-01-29 21:35:28 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-29 21:35:28 +0000 |
| commit | 280b3174476ef8fe5a98f3614f4fe253fa243d8c (patch) | |
| tree | 93062b08134200b703670b0fe91898a437a924d2 /dhall-lang | |
| parent | 22bec94618454f57773716870f5624579ab712ce (diff) | |
Finally get rid of all of the shift/subst_shift !
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions