Idris is a programming language for building functional and type-safe applications.
Usage, downloads, licensing, and more