A pandoc inspired clone for processing and working with documents written in markdown-like markup languages.
This project is still in its infancy, and is subject to change.
Idris is a general purpose pure functional language with full-spectrum Dependent Types.
More information can be found at http://www.idris-lang.org