Index
Exercises
Services
Exercise
information
strategy
rules
examples
derivations
test report
Exercise algebra.equations.quadratic.no-abc
Description
solve a quadratic equation without abc-formula
Firsts
Rule
quadraticequationstrategy.enter
Location
[]
Term
"Just (TCon logic1.false [])"
Focus
"Just (TCon logic1.false [])"
Environment
false
ready: yes