mini-ml. An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)