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.
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.