Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Changelog for
debruijn-0.3
0.3
Remove RenameA machinery
Introduce
Contract
for environment contraction (reverse of weakening)
keepSub
only requires
Weaken
, not
Rename
.