[clarus]

It seems that there are some examples here: https://github.com/CakeML/cakeml/blob/master/explorer/exampl... Whould be cool to have these examples accessible from the web interface of the compiler explorer.

[gravypod]

Sadly it doesn't seem like you can link to a compiler output from their compiler.