A modern supercompiler for call-by-value functional languages - View it on GitHub