Idris to 9front C translator Translate Idris (http://idris-lang.org/) programs to 9front native C programs. Usage More Information