idris-lang/Idris-dev — pull request #609 by jfdm (2013-11-09 15:19:14+00:00)
Title: Simple LaTeX support for Idris.

A set of LaTeX macros and styling for working with Idris in LaTeX

+ Provides a listings binding for Idris, to print pretty Idris Files.
+ Optional default styling. \IdrisListingsDefaultStyle{}
+ Defines a 'code' environment.
+ Defines the \Idris{} command for typesetting the name.