#+title: Idris

Idris is a [[file:20210607154216-pure_functional_programming.org][purely functional]] [[file:20210307152738-programming_languages.org][programming language]] derived from [[file:20200708123930-haskell.org][Haskell]].