Star idris-lang / Idris2 A purely functional programming language with first class types Idris 1,535 279 Built by 12 stars this week