Files

basis
candle
characteristic
compiler
cv_translator
developers
examples
- compilation
- deflate
- lpr_checker
- opentheory
- pseudo_bool
- sat_encodings
- vipr
- xlrup_checker
- Holmakefile
- README.md
- array_searchProgScript.sml
- catProgScript.sml
- diffProgScript.sml
- diffScript.sml
- divScript.sml
- doubleArgProgScript.sml
- echoProgScript.sml
- filterProgScript.sml
- grepProgScript.sml
- helloErrProgScript.sml
- helloProgScript.sml
- insertSortProgScript.sml
- iocatProgScript.sml
- lcsScript.sml
- lispProgScript.sml
- md5ProgScript.sml
- md5Script.sml
- patchProgScript.sml
- queueProgScript.sml
- quicksortProgScript.sml
- readmePrefix
- replProgScript.sml
- sortProgScript.sml
- splitwordsScript.sml
- stackProgScript.sml
- wordcountProgScript.sml
icing
misc
pancake
semantics
translator
tutorial
unverified
.gitignore
.holpath
COPYING
Holmakefile
README.md
build-instructions.sh
code-of-conduct.md
how-to.md
readmePrefix

readmePrefix

Update README for examples directory

Sep 28, 2017

7e91a46 · Sep 28, 2017