An alternative bootstrapping process: The translated AST of the compiler is printed as an S-expression then fed into a previously built executable of the CakeML compiler.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
An alternative bootstrapping process: The translated AST of the compiler is printed as an S-expression then fed into a previously built executable of the CakeML compiler.