| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
Recognize.Strategy.Recognizer
Description
Documentation
Arguments
| :: (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)