RosettaCodeData/Lang/Idris
Ingy döt Net 9ad63ea473 Family Day update 2020-02-17 23:21:07 -08:00
..
00DESCRIPTION Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
99-Bottles-of-Beer Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
100-doors Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
A+B Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
AKS-test-for-primes Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
Ackermann-function Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
Binary-digits Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
Boolean-values Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
Cholesky-decomposition Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
Dot-product Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
Extend-your-language June 2018 Update 2018-06-22 20:57:24 +00:00
Fast-Fourier-transform Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
Fibonacci-sequence Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
FizzBuzz Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
Haversine-formula Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
LU-decomposition Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
Matrix-multiplication Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
Matrix-transposition Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
Mutual-recursion Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
Quaternion-type Family Day update 2020-02-17 23:21:07 -08:00
README Add tasks for all the new languages 2016-12-05 23:44:36 +01:00
Repeat-a-string Add tasks for all the new languages 2016-12-05 23:44:36 +01:00

README

Data source: http://rosettacode.org/wiki/Category:Idris