Micro ML — Small, simple compiler in ML for a subset of ML. Meant for teaching.