debruijn-0.3: CHANGELOG.md
# 0.3 - Remove RenameA machinery - Introduce `Contract` for environment contraction (reverse of weakening) - `keepSub` only requires `Weaken`, not `Rename`.
# 0.3 - Remove RenameA machinery - Introduce `Contract` for environment contraction (reverse of weakening) - `keepSub` only requires `Weaken`, not `Rename`.