Compilation scripts for the Dafny to CakeML backend.
dafny_compilerCompileScript.sml:
- Compiles the Dafny to CakeML compiler.
compilation
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
Compilation scripts for the Dafny to CakeML backend.
dafny_compilerCompileScript.sml: