cakeml/examples/compilation/to_word at master · CakeML/cakeml · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
Holmakefile		Holmakefile
README.md		README.md
readmePrefix		readmePrefix
to_wordCompileScript.sml		to_wordCompileScript.sml
word_cse_testScript.sml		word_cse_testScript.sml

README.md

Example compilation

to_wordCompileScript.sml: Compiles a program to wordLang

word_cse_testScript.sml: Testing of the word common sub-expression elimination.