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.