summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Tangle: Order fragments correctlyHEADmasterGravatar Benjamin Barenblat2015-02-17
|
* Weave: Escape references to LaTeX properlyGravatar Benjamin Barenblat2015-02-13
|
* Remove leading spaces and/or one newline from code blocksGravatar Benjamin Barenblat2015-02-12
| | | | | | | | | | | | | | | | | 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.
* Get rid of Debug.TraceGravatar Benjamin Barenblat2015-02-12
|
* Rewrite parser, againGravatar Benjamin Barenblat2015-02-11
| | | | | | | | | | 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.
* Send errors to stderrGravatar Benjamin Barenblat2015-02-11
|
* Define command-line interfaceGravatar Benjamin Barenblat2015-02-11
|
* Write weaveGravatar Benjamin Barenblat2015-02-11
|
* Fragment: Give up and use pattern matchingGravatar Benjamin Barenblat2015-02-11
| | | | | | 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.
* Write tangleGravatar Benjamin Barenblat2015-02-11
|
* Parser: Allow internal chunk referencesGravatar Benjamin Barenblat2015-02-11
|
* Rewrite parser for cleanlinessGravatar Benjamin Barenblat2015-02-11
|
* Parse fragmentsGravatar Benjamin Barenblat2015-02-11
|
* Initial commitGravatar Benjamin Barenblat2015-02-11