aparler/RosettaCodeData
1
0
Fork 0
Code Issues 12 Pull requests 3 Projects Releases Packages Wiki Activity Actions
RosettaCodeData/Lang/Agda
History
Exact
Ingy döt Net aac6731f2c September Morn Update
2019-09-12 10:33:56 -07:00
..
00DESCRIPTION update meta data 2013-04-11 12:07:39 -07:00
Abstract-type Add all the A tasks 2013-04-10 14:58:50 -07:00
Ackermann-function September 2017 Update 2017-09-25 22:28:19 +02:00
Even-or-odd September Morn Update 2019-09-12 10:33:56 -07:00
Extend-your-language YAPC::EU 2018 Glasgow Update! 2018-08-17 15:15:24 +01:00
Factorial September Morn Update 2019-09-12 10:33:56 -07:00
Function-composition September Morn Update 2019-09-12 10:33:56 -07:00
Logical-operations A-M baby 2013-04-10 21:29:02 -07:00
Matrix-transposition A-M baby 2013-04-10 21:29:02 -07:00
README Rename 00SOURCE to README to interact with github better 2013-04-11 13:32:18 -07:00
Reverse-a-string Another update from ingydotnet^djgoku 2015-11-18 06:14:39 +00:00
Sieve-of-Eratosthenes September Morn Update 2019-09-12 10:33:56 -07:00

README 

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