i.(i, i+1);L))
k:
, L:(k-1) List. compose_flips(L) 
k
k
i
j ; x=j i else x fik:, i,j:k. (i, j) kk
} == {k:
| i 
k < j }m,n:. {m..n} Type == {i:| 0i } Type| Some definitions of interest. | |
| compose_flips | i.(i, i+1);L)) |
| k:, L:(k-1) List. compose_flips(L) kk | |
| flip | i j ; x=j i else x fi |
| k:, i,j:k. (i, j) kk | |
| int_seg | } == {k:| i k < j } |
| m,n:. {m..n} Type | |
| nat | == {i:| 0i } |
| Type |
About:
 |  |  |  |  |  |  |
 |  |  |  |  |  |  |