This repository containts prototype implementations of the algorithms described in the paper Compiling Successor ML Pattern Guards (to appear in the 2019 ML Family Workshop) by John Reppy and Mona Zhair.
There is also a revised version of the ML Workshop paper (some typos have been fixed) and a copy of the slides from the talk.