Home

New to CakeML

For those new to CakeML, welcome! Start with installing and using the CakeML compiler. Once you've written a few programs in CakeML, you may need to extend the language via C by writing FFI functions. To fully integrate with our tooling and automate your building process, you'll want to learn about building with CMake. If you have any questions along with way, feel free to ask.

References for CakeML

The documentation for CakeML is non-existent. When starting to learn the language, you may find reading about Standard ML and its variants are helpful. Just keep in mind that there are deviations from Standard ML. And we have created a reference page for CakeML which you are free to edit, correct, and amend.