Popular repositories Loading
-
-
substM
substM PublicA monadic variation on 'Unbound.LocallyNameless.Subst' which can be used to implement hereditary substitution.
Haskell
-
-
Repositories
Showing 5 of 5 repositories
A monadic variation on 'Unbound.LocallyNameless.Subst' which can be used to implement hereditary substitution.
Haskell