tom grzyb July 20, 2022 6:54am #functionalprogramming Idris: A Language for Type-Driven Development https://www.idris-lang.org/index.html
