idris-lang/Idris2

A purely functional programming language with first class types

164 best points · 27 comments · 5 Hacker News posts · 3,107 GitHub stars · View on GitHub

Hacker News discussions

• New JavaScript code generator in Idris 2 (164 points, 27 comments, by ska80, 2020-07-09)
• Idris 2: a purely functional programming language with first class types (4 points, 0 comments, by pretext, 2022-11-16)
• Idris2: A purely functional programming language with first class types (3 points, 0 comments, by tosh, 2023-11-06)
• Idris Developers Meeting, April 2021 (2 points, 0 comments, by ska80, 2021-03-09)
• Idris2 is now implemented in Idris2 (1 points, 0 comments, by jobstijl, 2020-05-20)