In the thread Literate scripts not handled correctly Simon Marlow
said:
Yes, it looks like GHC's unlit program removes whitespace when
looking for \begin{code}, but not for \end{code}. The report isn't
explicit about whether whitespace is allowed on these lines, but I
would tend
On Mon, Dec 10, 2001 at 04:03:27PM +, Ian Lynagh wrote:
In the thread Literate scripts not handled correctly Simon Marlow
said:
Yes, it looks like GHC's unlit program removes whitespace when looking
for \begin{code}, but not for \end{code}. The report isn't explicit
about whether
