[mbarbar]

>CakeML is also a very cool project in SML land.

I've been very interested in CakeML lately, do you use it for anything?