# Idris

Idris is a [[purely functional]] [[programming language]] derived from [[Haskell]].