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