Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Assessment for matryoshka exercise. For the algebraic strategy we generate labels that can be easily matched to evidence For the numerical strategies we simplify look for certain computations
Documentation
buildStepsEvidence :: Approach -> EvBuilder () Source #
stepsAGBuilder :: EvBuilder () Source #
stepsN1Builder :: EvBuilder () Source #
stepsN2Builder :: EvBuilder () Source #