Index
Exercises
Services
Exercise
information
strategy
rules
examples
derivations
test report
Exercise algebra.inequalities.linear
Description
solve a linear inequation
Firsts
Rule
algebra.inequalities.flip-sign
Location
[]
Term
"Just (TCon relation1.lt [TVar \"x\",TNum 60])"
Focus
"Just (TCon relation1.lt [TVar \"x\",TNum 60])"
Environment
x < 60
ready: yes