Recognize.Strategy.Exercises

Custom exercises used within the AdviseMe code.

Documentation

recognizerExercise :: Exercise (Relation Expr)

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

Exercise for simplifying expressions

normalizeExercise :: Exercise Expr

Exercise for normalizing expressions