disco-0.1.0.0: test/containers-reduce/expected
Loading containers-reduce.disco... Loading num.disco... Running tests... dummy: OK setSize: OK Loaded. reduce : (a × a → a) × a × List(a) → a reduce(~+~, 0, [1 .. 10]) : ℕ 55 60 true 2351 6 7 true
Loading containers-reduce.disco... Loading num.disco... Running tests... dummy: OK setSize: OK Loaded. reduce : (a × a → a) × a × List(a) → a reduce(~+~, 0, [1 .. 10]) : ℕ 55 60 true 2351 6 7 true