diff options
| author | Nadrieril | 2019-04-06 11:17:40 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-06 11:18:43 +0200 |
| commit | 870fa672a7b7c5c872968fd428c6fe77c3e79e4d (patch) | |
| tree | 03b723aae7d9b5ca964f55fe9fa4d8b7d9f9db50 /dhall | |
| parent | 0cf4d3845e75ac25e35c5e73eb2dfd58c5450af6 (diff) | |
subst_shift in a single pass
Closes #6
Diffstat (limited to 'dhall')
0 files changed, 0 insertions, 0 deletions