packages feed

disco-0.2: test/logic-cmp/input

1 < 2
2 < 2
3 < 2
1/2 < 2/3
1 <= 2
2 <= 2
3 <= 2
3 =< 2
3 > 1
3 > 3
3 > 4
3 >= 1
3 >= 3
3 >= 4
3 => 4
3 == 5
3 == 3
3 /= 5
3 /= 3
3 != 5
3 != 3
(1,2) < (1,3)
(1,3) < (2,1)
(2,2) < (2,1)
(2,3) == (2,3)
(2,3) == (2,4)
[1,2,3] == [1,2,3]
[1,2,3] == [1,2,3,4]
[1,2,3] == [1,2,4]
([] : List(N)) < [1]
[1,2] < [1,2,3]
[1,2] < [2]
[1,2,3,5,2,6] < [1,2,1,3,1,2]
[1,2,3,5,2,6] < [1,2,4,3,1,2]
(left 3 : N + N) < (left 2 : N + N)
(left 3 : N + N) < (left 4 : N + N)
(left 3 : N + N) < (right 1 : N + N)
(right 3 : N + N) < (right 1 : N + N)
(right 3 : N + N) < (right 4 : N + N)
unit <= unit
unit < unit
false < false
false < true
min(3,5)
max(3,5)
min(3, min(2, min(5, min(1, 4))))
max(3, max(2, max(5, max(1, 4))))
max([1,2,3,5,2,6], [1,2,1,3,1,2])
min([1,2,3,5,2,6], [1,2,1,3,1,2])