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