A CakeML front-end written in Haskell. It tries to give reasonable parse and type error messages that include source locations. It includes a rudimentary CakeML to OCaml and CakeML to SML translator, currently used for benchmarking.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
A CakeML front-end written in Haskell. It tries to give reasonable parse and type error messages that include source locations. It includes a rudimentary CakeML to OCaml and CakeML to SML translator, currently used for benchmarking.