Files

basis
candle
characteristic
compiler
cv_translator
developers
examples
icing
misc
pancake
semantics
translator
tutorial
- solutions
  - Holmakefile
  - README.md
  - make_ex.sml
  - readmePrefix
  - simple_bstScript.sml
  - splitwordsScript.sml
  - wordfreqCompileScript.sml
  - wordfreqProgScript.sml
  - wordfreqProofScript.sml
- Holmakefile
- README.md
- arith_exp_demoScript.sml
- readmePrefix
- simple_bstProgScript.sml
- simple_bstScript.sml
- splitwordsScript.sml
- wordcountCompileScript.sml
- wordcountProgScript.sml
- wordcountProofScript.sml
- wordfreqCompileScript.sml
- wordfreqProgScript.sml
- wordfreqProofScript.sml
unverified
.gitignore
.holpath
Holmakefile
LICENSE
README.md
build-instructions.sh
code-of-conduct.md
how-to.md
readmePrefix

wordfreqProofScript.sml

Symlink some tutorial files to tutorial/solutions

Oct 13, 2017

ef2cada · Oct 13, 2017