| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
Recognize.Strategy.Exercises
Description
Custom exercises used within the AdviseMe code.
Synopsis
Documentation
recognizerExercise :: Exercise (Relation Expr) Source #
Exercise used by the strategy recognizer for recognizing linear equations.
This exercise uses the recognizerStrategy strategy and has two additional characteristics:
- Expressions are seen as equal up to 1 decimal (1.15 == 1.2)
- Relations are equal regardless of the relation type (a == a b)
simplifyExercise :: Exercise Expr Source #
Exercise for simplifying expressions
normalizeExercise :: Exercise Expr Source #
Exercise for normalizing expressions