| Copyright | (c) Till Mossakowski and OvGU Magdeburg 2017 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | till@iks.cs.ovgu.de |
| Stability | provisional |
| Portability | non-portable (various -fglasgow-exts extensions) |
| Safe Haskell | None |
Logic.PrintLogics
Description
Print list of all logics with some useful information.
Documentation
printLogics :: IO () Source #
hasStability :: Stability -> AnyLogic -> Bool Source #
printLogicsWithStability :: Stability -> IO () Source #
printLogic :: AnyLogic -> IO () Source #