8 lines
105 B
Coq
8 lines
105 B
Coq
|
[mylogic
|
||
|
|
[get2 [dup] dip swap [dup] dip].
|
||
|
|
get2 and puts
|
||
|
|
get2 or puts
|
||
|
|
swap not puts
|
||
|
|
pop
|
||
|
|
].
|