Index
Exercises
Services
Exercise
information
strategy
rules
examples
derivations
test report
Exercise algebra.inequalities.linear
Description
solve a linear inequation
Firsts
Rule
linearinequation.enter
Location
[]
Term
"Just (TCon relation1.gt [TVar \"x\",TNum 8])"
Focus
"Just (TCon relation1.gt [TVar \"x\",TNum 8])"
Environment
x > 8
ready: yes