RosettaCodeData/Task/Logical-operations/V/logical-operations-3.v

6 lines
64 B
Coq
Raw Permalink Normal View History

2023-07-01 11:58:00 -04:00
[mylogic [a b] let
a b and puts
a b or puts
a not puts
].