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 #