RosettaCodeData/Lang/Lean
Ingy döt Net 74c69a0df6 Data update 2023-12-16 21:33:55 -08: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
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-Standard-error Data update 2023-12-16 21:33:55 -08:00
Hello-world-Text Initial data commit 2023-07-01 13:44:08 -04:00
Repeat Initial data commit 2023-07-01 13:44:08 -04:00