jfdm/Idris-dev — pull request #1 by jfdm (2014-06-10 08:39:29+00:00)
Title: Updated idrislang.sty to ensure singlespacing code blocks

Tweak to ensure that code blocks are single spaced.