(draft) Lexing and parsing with readers in ML
new post: Lexical analysis with readers and streams in ML