@@ -25,6 +25,7 @@
25\RequirePackage{listings}
25\RequirePackage{listings}
26\RequirePackage{xspace}
26\RequirePackage{xspace}
27\RequirePackage{textcomp}
27\RequirePackage{textcomp}
28+\RequirePackage{setspace}
28%% ----------------------------------------------------------------- [ Options ]
29%% ----------------------------------------------------------------- [ Options ]
29\newboolean{literate}
30\newboolean{literate}
30\setboolean{literate}{false}
31\setboolean{literate}{false}
@@ -117,7 +118,9 @@
117 \lstset{language=idris}}
118 \lstset{language=idris}}
118 \ifthenelse{\boolean{numbers}}{%
119 \ifthenelse{\boolean{numbers}}{%
119 \lstset{style=numbers, #1}}{%
120 \lstset{style=numbers, #1}}{%
120− \lstset{style=default, #1}}}{}
121+ \lstset{style=default, #1}}
121%% ---------------------------------------------------------- [ Input Listings ]
124%% ---------------------------------------------------------- [ Input Listings ]
122%% Command to add externally defined Idris code to the document.
125%% Command to add externally defined Idris code to the document.
123\newcommand{\inputIdrisListing}[2][]{%
126\newcommand{\inputIdrisListing}[2][]{%