6 lines
64 B
Coq
6 lines
64 B
Coq
|
[mylogic [a b] let
|
||
|
|
a b and puts
|
||
|
|
a b or puts
|
||
|
|
a not puts
|
||
|
|
].
|