6 lines
140 B
Text
6 lines
140 B
Text
[] <. _ = true
|
|
_ <. [] = false
|
|
(x::xs) <. (y::ys) | x == y = xs <. ys
|
|
| else = x < y
|
|
|
|
[1,2,1,3,2] <. [1,2,0,4,4,0,0,0]
|