It seems that there are some examples here: https://github.com/CakeML/cakeml/blo... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

clarus on Jan 1, 2017 | parent | context | favorite | on: CakeML – A Verified Implementation of ML

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 on Jan 1, 2017 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact