A lexer and parser written in ML.