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)