Idris2: A purely functional programming language with first class typesgithub.com/idris-lang3 pointstosh3 years ago