| Commit message (Collapse) | Author | Age |
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
listings is space-sensitive, so the common idiom
<<block name>>=
block body
@
gets typeset as
⟨block name⟩≡
block body
This is ugly, so remove all leading spaces up to the first newline (and
that newline itself, if appropriate) in each code block.
|
| |
|
|
|
|
|
|
|
|
|
|
| |
Rewrite the parser with an actual grammar this time. It’s a bit ugly in
places – use of the 'manyTill'' function is especially nasty and ought
to be replaced with more <|> combinators, as in the 'literateFile'
definition.
Many thanks to Chelsea Voss <csvoss@mit.edu> for helping me figure out
the grammar for this.
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
I’m normally opposed to pattern matching in high-quality apps, but this
is so small that I’m unconvinced it’ll be a problem. I can always
switch to explicit accessors if things get too coupled.
|
| |
|
| |
|
| |
|
| |
|
|
|