An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language) - View it on GitHub