RosettaCodeData/Lang/Agda
2023-07-01 11:58:00 -04:00
..
00-LANG.txt Data commit 2023-07-01 11:58:00 -04:00
00-META.yaml Data commit 2023-07-01 11:58:00 -04:00
Abstract-type Data commit 2023-07-01 11:58:00 -04:00
Ackermann-function Data commit 2023-07-01 11:58:00 -04:00
AVL-tree Data commit 2023-07-01 11:58:00 -04:00
Even-or-odd Data commit 2023-07-01 11:58:00 -04:00
Extend-your-language Data commit 2023-07-01 11:58:00 -04:00
Factorial Data commit 2023-07-01 11:58:00 -04:00
Fibonacci-sequence Data commit 2023-07-01 11:58:00 -04:00
FizzBuzz Data commit 2023-07-01 11:58:00 -04:00
Function-composition Data commit 2023-07-01 11:58:00 -04:00
Hello-world-Newbie Data commit 2023-07-01 11:58:00 -04:00
Hello-world-Text Data commit 2023-07-01 11:58:00 -04:00
Logical-operations Data commit 2023-07-01 11:58:00 -04:00
Matrix-transposition Data commit 2023-07-01 11:58:00 -04:00
Reverse-a-string Data commit 2023-07-01 11:58:00 -04:00
Sieve-of-Eratosthenes Data commit 2023-07-01 11:58:00 -04:00
Tree-traversal Data commit 2023-07-01 11:58:00 -04:00