A compiler from Scheme to CakeML.
compilation: Compilation scripts for the Scheme-to-CakeML compiler.
examples: Example Scheme programs compiled using the Scheme compiler
proofs: Proofs for the Scheme-to-CakeML compiler.
scheme_astScript.sml: AST of Scheme
scheme_compilerScript.sml: Definition of a compiler from Scheme to CakeML
scheme_parsingScript.sml: Parser for Scheme
scheme_semanticsScript.sml: Semantics of Scheme
scheme_to_cakeScript.sml: Code generator for Scheme to CakeML compiler
scheme_valuesScript.sml: Definition of Scheme values
translation: CakeML translation of the Scheme-to-CakeML compiler.
unverified: An unverified compiler from Scheme to ML written in Haskell