Compilation scripts for the Scheme-to-CakeML compiler.
scheme_compilerCompileScript.sml: In-logic compilation of the Scheme-to-CakeML compiler
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
Compilation scripts for the Scheme-to-CakeML compiler.
scheme_compilerCompileScript.sml: In-logic compilation of the Scheme-to-CakeML compiler