certifying compilation using MLton

[Stephen Weeks]

Hi Bob.  Seeing Leaf's proposal announcement reminded me of your mention at ICFP
of a student that was using MLton for a proof of concept of certifying
compilation.  I don't remember if it was Leaf or another student, but I wanted
to remind you to please tell them to get in touch with us
(MLton@sourcelight.com), as we'd be interested to hear what they did and if we
could help out with any questions or future plans they might have.  Thanks.