disco-0.1.0.0: test/types-rational/expected
3 / 5 : π½ 1 / 2 + 2 / 3 : π½ 1 / 2 * (2 / 3) : π½ 3 ^ (-2) : π½ (1 / 2) ^ (-2) : π½ (1 / 2) ^ 3 : π½ [1, 2 / 3] : List(π½) 1 :: 2 / 3 :: [] : List(π½) -3 / 5 : β 3 / -5 : β -(3 / 5) : β 1 / 2 - 2 / 3 : β 1 / 2 * -3 : β -1 / 2 * 3 : β (-3) ^ (-2) : β (-2 / 3) ^ (-2) : β (-1 / 2) ^ 3 : β [1, -1, 2 / 3] : List(β) 1 :: -1 :: 2 / 3 :: [] : List(β)