8 lines
102 B
Coq
8 lines
102 B
Coq
|
[mylogic
|
||
|
|
[get2 [a b : a b a b] view].
|
||
|
|
get2 and puts
|
||
|
|
get2 or puts
|
||
|
|
swap not puts
|
||
|
|
pop
|
||
|
|
].
|