diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-02-11 23:22:50 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-02-11 23:22:50 -0500 |
commit | 9dee817b61268a4520cee359a5bc97d2dae296f4 (patch) | |
tree | 1591e41a4731836cf0a3ba513d8d25d95b864926 /.gitignore | |
parent | 31ef18834d4291b531e2e5a993216fc18f891205 (diff) |
Rewrite parser, again
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.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions