mirror
/
RosettaCodeData
mirror of https://github.com/acmeism/RosettaCodeData.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
RosettaCodeData/Task/FizzBuzz/V/fizzbuzz-4.v

2 lines
46 B
Coq
Raw Permalink Blame History

[func [[N F] : [dup N F check i] ] view map].
Reference in New Issue View Git Blame Copy Permalink