Star idris-lang / Idris2 A purely functional programming language with first class types Idris 960 155 Built by 0 stars today