Arto's Notes re: CakeML

CakeML is a verified implementation of a significant subset of Standard ML.

• https://cakeml.org/
• https://github.com/CakeML/cakeml