RosettaCodeData/Task/Function-definition/V/function-definition-3.v

4 lines
32 B
Coq
Raw Permalink Normal View History

2023-07-01 11:58:00 -04:00
[multiply
[a b] let
a b *].