#2230 15.09.2023 00:54 AP Idris A Language for Type-Driven Development Idris is a programming language designed to encourage Type-Driven Development.