RosettaCodeData/Task/Apply-a-callback-to-an-array/V/apply-a-callback-to-an-array.v

2 lines
22 B
Coq
Raw Permalink Normal View History

2023-07-01 11:58:00 -04:00
[1 2 3 4] [dup *] map