Exercise arithmetic.fractions.liberal

Description
simplify fractions liberally

Firsts

• Rule	simplify.enter
  Location	[]
  Term	"Just (TCon arith1.plus [TCon arith1.divide [TNum 1,TNum 2],TCon arith1.divide [TNum 2,TNum 4]])"
  Focus	"Just (TCon arith1.plus [TCon arith1.divide [TNum 1,TNum 2],TCon arith1.divide [TNum 2,TNum 4]])"
  Environment

  

  1/2+2/4

  ready: no