| License | GPLv2 or higher, see LICENSE.txt |
|---|---|
| Maintainer | nevrenato@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
TopHybrid.Logic_TopHybrid
Description
Description : Instance of class Logic for hybridized logics with an arbitrary logic under.
Documentation
data Hybridize
Constructors
| Hybridize |
Instances
underlogicList :: [(String, AnyLogic)]