edwinb/Idris2

A purely functional programming language with first class types

17 best points · 1 comments · 1 Hacker News post · 58 GitHub stars · View on GitHub

Hacker News discussions

• Idris 2 programming language announced (17 points, 1 comments, by adamnemecek, 2019-07-08)