RosettaCodeData/Lang/Coq/Variadic-function

Symbolic link
1 line
32 B
Plaintext

../../Task/Variadic-function/Coq