mirror
/
RosettaCodeData
mirror of https://github.com/acmeism/RosettaCodeData.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
RosettaCodeData/Lang/Agda
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
AVL-tree Initial data commit 2023-07-01 13:44:08 -04:00
Abstract-type Initial data commit 2023-07-01 13:44:08 -04:00
Ackermann-function Initial data commit 2023-07-01 13:44:08 -04:00
Even-or-odd 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
Function-composition 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
Logical-operations Initial data commit 2023-07-01 13:44:08 -04:00
Matrix-transposition Initial data commit 2023-07-01 13:44:08 -04:00
Reverse-a-string Initial data commit 2023-07-01 13:44:08 -04:00
Sieve-of-Eratosthenes Initial data commit 2023-07-01 13:44:08 -04:00
Tree-traversal Initial data commit 2023-07-01 13:44:08 -04:00