Index
Exercises
Services
Exercise
information
strategy
rules
examples
derivations
test report
Exercise arithmetic.fractions.liberal
Description
simplify fractions liberally
Firsts
Rule
simplify.enter
Location
[]
Term
"Just (TCon arith1.divide [TNum 2,TNum 2])"
Focus
"Just (TCon arith1.divide [TNum 2,TNum 2])"
Environment
2/2
ready: no