Order two numerical lists: Difference between revisions

Line 318:
<lang Joy>
DEFINE order-lists ==
[[[size] dip size <] [[<=] mapr2 true [and] fold]] [i] map i and.
</lang>
 
Line 324:
 
<pre>
[1 2] [1 2 3] order-lists. # true
[1 2] [1 2] order-lists. # false
[1 3] [1 2] order-lists. # false
153

edits