10 lines
195 B
Text
10 lines
195 B
Text
#import std
|
|
#import nat
|
|
|
|
ss ::
|
|
|
|
ordering %fZ ~ordering||lleq!
|
|
column %n ~column||1!
|
|
reversed %b
|
|
|
|
sorter = +^(~reversed?/~&x! ~&!,-<+ +^/~ordering ~~+ ~&h++ //skip+ predecessor+ ~column)
|