Safe Haskell | None |
---|---|
Language | Haskell98 |
Some propositional formulas to test, and functions to generate classes.
Copyright (c) 2003-2007, John Harrison. (See "LICENSE.txt" for details.)
- data Knows a = K String a (Maybe a)
- mk_knows :: (IsPropositional formula, AtomOf formula ~ Knows a) => String -> a -> formula
- mk_knows2 :: (IsPropositional formula, AtomOf formula ~ Knows a) => String -> a -> a -> formula
- prime :: (IsPropositional formula, Ord formula, AtomOf formula ~ Knows Integer) => Integer -> formula
- ramsey :: (IsPropositional pf, AtomOf pf ~ Knows Integer, Ord pf) => Integer -> Integer -> Integer -> pf
- testPropExamples :: Test
Documentation
mk_knows2 :: (IsPropositional formula, AtomOf formula ~ Knows a) => String -> a -> a -> formula Source #
prime :: (IsPropositional formula, Ord formula, AtomOf formula ~ Knows Integer) => Integer -> formula Source #