CakeML Compiler Home - ku-sldg/stairCASE GitHub Wiki

In the absence of any documentation for the CakeML compiler, I decided to list here some of the important details we have discovered over time. This wiki doesn't address the language itself, but the compiler and compiled code.

• Command Line Arguments
• basis_ffi.c
• Integration With C