Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Buggy rules in the logic domain, expressing common misconceptions
Documentation
buggyRules :: [Rule SLogic] Source #
Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Buggy rules in the logic domain, expressing common misconceptions
buggyRules :: [Rule SLogic] Source #