3 lines
35 B
Coq
3 lines
35 B
Coq
|
[4 3 2 1] 5 swap cons
|
||
|
|
=[5 4 3 2 1]
|