edwinb/Idris2-SH

A purely functional programming language with first class types

2 best points · 0 comments · 1 Hacker News post · 3,107 GitHub stars · View on GitHub

Hacker News discussions

• Idris2 is now self-hosted (2 points, 0 comments, by ska80, 2020-05-19)