substM

A monadic variation on 'Unbound.LocallyNameless.Subst' which can be used to implement hereditary substitution.

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
src/Unbound/LocallyNameless		src/Unbound/LocallyNameless
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
unbound-substm.cabal		unbound-substm.cabal

Provide feedback