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