Using OCaml to explore the paper "Top Down Operator Precedence" by Vaughan Pratt in 1973. This code is originally from 2016 and I've only recently added it to GitHub.