diff options
author | Nadrieril | 2020-01-17 10:49:02 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-17 10:49:02 +0000 |
commit | f7a8d967b02bc20c093d501746ed3de53cc7da13 (patch) | |
tree | 699b4b7458ce76f57f3320040cba73cca5702155 /dhall/tests | |
parent | fc1d7b758008643447f17bc9d05adb128d1567cc (diff) |
Simplify Shift and Subst instances
Diffstat (limited to 'dhall/tests')
0 files changed, 0 insertions, 0 deletions