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