keyvalue
id14507656
nameidris-koans
full_nameidris-hackers/idris-koans
html_urlhttps://github.com/idris-hackers/idris-koans
descriptionKoans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
created_atNov. 18, 2013, 10:47 p.m.
updated_atNov. 28, 2024, 4:28 p.m.
pushed_atMay 2, 2018, 1:31 p.m.
size16
stargazers_count178
watchers_count16
forks_count26
open_issues1
languageIdris
awesome_list

https://github.com/lucasviola/awesome-functional-programming