idris-lang/Idris2
View on GitHub ↗ ★ 3,102 Idris
A purely functional programming language with first class types
21 mentions on Hacker News by 17 people: 5 stories, 16 comments · first 2020-05-20 · latest 2026-07-27
20082026
-
▲ 3
Idris2: A purely functional programming language with first class typesstory by tosh · 2023-11-06 · 0 comments
-
▲ 4
Idris 2: a purely functional programming language with first class typesstory by pretext · 2022-11-16 · 0 comments
-
▲ 2
Idris Developers Meeting, April 2021story by ska80 · 2021-03-09 · 0 comments
-
▲ 164
New JavaScript code generator in Idris 2story by ska80 · 2020-07-09 · 27 comments
-
▲ 1
Idris2 is now implemented in Idris2story by jobstijl · 2020-05-20 · 0 comments