6 lines
59 B
Coq
6 lines
59 B
Coq
|
[swap [a b : b a] view].
|
||
|
|
|
||
|
|
1 2 swap
|
||
|
|
= 2 1
|
||
|
|
'hello' 'hi' swap
|