disco-0.1.0.0: docs/tutorial/example/pair.disco
pair1 : N * Q pair1 = (3, -5/6) pair2 : Z × Bool pair2 = (17 + 22, (3,5) < (4,2)) pair3 : Bool * (Bool * Bool) pair3 = (true, (false, true)) pair4 : Bool * Bool * Bool pair4 = (true, false, true)
pair1 : N * Q pair1 = (3, -5/6) pair2 : Z × Bool pair2 = (17 + 22, (3,5) < (4,2)) pair3 : Bool * (Bool * Bool) pair3 = (true, (false, true)) pair4 : Bool * Bool * Bool pair4 = (true, false, true)