Pcad ML Posted on 2012-01-07 [Saturday] by jj5 Thomas has contributed a first cut OCaml version of the pcad system. Check out the code.
