Idris 2: a purely functional programming language with first class typesgithub.com/idris-lang4 pointspretext4 years ago