Star idris-lang / Idris2 A purely functional programming language with first class types Idris 2,051 333 Built by 2 stars today