CakeML Compiler Explorer

Write CakeML code and see how it is transformed by each phase of compilation.

Code