@@ -25,6 +25,7 @@
2525\RequirePackage{listings}
2626\RequirePackage{xspace}
2727\RequirePackage{textcomp}
28+\RequirePackage{setspace}
2829%% ----------------------------------------------------------------- [ Options ]
2930\newboolean{literate}
3031\setboolean{literate}{false}
@@ -117,7 +118,9 @@
117118 \lstset{language=idris}}
118119 \ifthenelse{\boolean{numbers}}{%
119120 \lstset{style=numbers, #1}}{%
120− \lstset{style=default, #1}}}{}
121+ \lstset{style=default, #1}}
122+ \singlespacing
123+ }{}
121124%% ---------------------------------------------------------- [ Input Listings ]
122125%% Command to add externally defined Idris code to the document.
123126\newcommand{\inputIdrisListing}[2][]{%