CakeML

From Just Solve the File Format Problem
Revision as of 00:19, 3 June 2019 by Dan Tobias (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
File Format
Name CakeML
Ontology
Extension(s) .sml

CakeML may sound like a markup language for cake recipes, but it's actually a functional language based on Standard ML, which is based in turn on ML. It uses a proven-correct compiler that can bootstrap itself.

Links

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox