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