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/src/dhall.pest.visibility | |
| parent | fc1d7b758008643447f17bc9d05adb128d1567cc (diff) | |
Simplify Shift and Subst instances
Diffstat (limited to 'dhall/src/dhall.pest.visibility')
0 files changed, 0 insertions, 0 deletions