mirror
/
RosettaCodeData
mirror of https://github.com/acmeism/RosettaCodeData.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
RosettaCodeData/Lang/Coq
History
Ingy döt Net f23f22d71c Initial data commit 2023-07-01 13:44:08 -04:00
..
00-LANG.txt Initial data commit 2023-07-01 13:44:08 -04:00
00-META.yaml Initial data commit 2023-07-01 13:44:08 -04:00
100-doors Initial data commit 2023-07-01 13:44:08 -04:00
Ackermann-function Initial data commit 2023-07-01 13:44:08 -04:00
Extend-your-language Initial data commit 2023-07-01 13:44:08 -04:00
Factorial Initial data commit 2023-07-01 13:44:08 -04:00
Fibonacci-sequence Initial data commit 2023-07-01 13:44:08 -04:00
FizzBuzz Initial data commit 2023-07-01 13:44:08 -04:00
Hello-world-Newbie Initial data commit 2023-07-01 13:44:08 -04:00
Hello-world-Text Initial data commit 2023-07-01 13:44:08 -04:00
Loops-For Initial data commit 2023-07-01 13:44:08 -04:00
Tree-traversal Initial data commit 2023-07-01 13:44:08 -04:00
Variadic-function Initial data commit 2023-07-01 13:44:08 -04:00