Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type Proof = ()
- data QED
- (&&&) :: Proof -> Proof -> Proof
- (***) :: a -> QED -> Proof
- (?) :: a -> Proof -> a
- isAss :: QED -> Bool
- toProof :: a -> Proof
- trivial :: Proof
- withTheorem :: a -> Proof -> a
- (==.) :: a -> a -> a
- (==?) :: a -> a -> a
- eq :: a -> a -> a
- (<.) :: a -> a -> a
- (<?) :: a -> a -> a
- (<=.) :: a -> a -> a
- (<=?) :: a -> a -> a
- (>.) :: a -> a -> a
- (>?) :: a -> a -> a
- (>=.) :: a -> a -> a
- (>=?) :: a -> a -> a
- (<=>.) :: Tick a -> Tick a -> Tick a
- (<=>?) :: Tick a -> Tick a -> Tick a
- (>~>.) :: Tick a -> Tick a -> Tick a
- (>~>?) :: Tick a -> Tick a -> Tick a
- (.>==) :: Tick a -> Int -> Tick a -> Tick a
- (?>==) :: Tick a -> Int -> Tick a -> Tick a
- (<~<.) :: Tick a -> Tick a -> Tick a
- (<~<?) :: Tick a -> Tick a -> Tick a
- (.<==) :: Tick a -> Int -> Tick a -> Tick a
- (?<==) :: Tick a -> Int -> Tick a -> Tick a
- (==>.) :: (a -> b) -> a -> b
- (==>?) :: (a -> b) -> a -> b
- (==<.) :: (a -> b) -> a -> b
- (==<?) :: (a -> b) -> a -> b
- (==!) :: a -> a -> a
- assert :: Bool -> Proof
Documentation
withTheorem :: a -> Proof -> a Source #