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/tests/dhall_type.rs | |
parent | 0cf4d3845e75ac25e35c5e73eb2dfd58c5450af6 (diff) |
subst_shift in a single pass
Closes #6
Diffstat (limited to 'dhall/tests/dhall_type.rs')
0 files changed, 0 insertions, 0 deletions