Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Documentation
buildStepsEvidence :: Approach -> EvBuilder () Source #
stepsAGBuilder :: EvBuilder () Source #
stepsAG1Builder :: EvBuilder () Source #
stepsAG2Builder :: EvBuilder () Source #
stepsN1Builder :: EvBuilder () Source #
stepsN2Builder :: EvBuilder () Source #