Safe Haskell | None |
---|
Convenience module to import the specific rewriting function model and combinator implementation known as explicit. In package adp-multi-monadiccp, there is another combinator implementation.
Safe Haskell | None |
---|
Convenience module to import the specific rewriting function model and combinator implementation known as explicit. In package adp-multi-monadiccp, there is another combinator implementation.