| Copyright | (c) Fontaine 2010 - 2011 |
|---|---|
| License | BSD3 |
| Maintainer | fontaine@cs.uni-duesseldorf.de |
| Stability | experimental |
| Portability | GHC-only |
| Safe Haskell | None |
| Language | Haskell2010 |
CSPM.FiringRules.Search
Description
Definition of the Search Monad. Currently just a small wrapper around the tree-monad package