Maintainer | bastiaan.heeren@ou.nl |
---|---|

Stability | provisional |

Portability | portable (depends on ghc) |

Safe Haskell | None |

Language | Haskell98 |

# Documentation

:: (Parse m Math, ParseLog m) | |

=> Exercise (Relation Expr) | Input expressions must be steps conforming to this exercise |

-> Maybe (Relation Expr, Math) | Optional starting relation |

-> m (Relation Expr, [Step]) |

Parses expressions that represent steps in the given exercise.
Parsing stops until a relation is found that is considered `final`

(no more steps in the exercise are possible on this expressions)