bendlib-kernel-list

Releases (1)

• 1.0.0.0 indexed

Definitions (5)

list.bend

• def swap_headSwap the first two elements (no-op on lists shorter than two).
• def swap_atSwap positions i and i+1.
• def applyApply a list of adjacent swaps, left to right.
• def perm_stepsThe derivation `perm_steps(A, steps, xs, ys)` holds when `apply(A, steps, xs)` is `ys`.
• def permSome swap derivation carries `xs` to `ys` (the existential `perm`).