stefan-hoeck/idris2-tutorial

3 best points · 1 comments · 2 Hacker News posts · 240 GitHub stars · View on GitHub

Hacker News discussions

• Functional Programming in Idris 2 (3 points, 0 comments, by todsacerdoti, 2022-01-13)
• Functional Programming in Idris 2 (3 points, 1 comments, by nerdponx, 2024-01-13)