programs for my graduation thesis.
OCaml Shell
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
exam
test
.gitignore
README.md
compile.sh
exp.ml
exp.mli
iTerm.ml
iTerm.mli
lexer.mll
main.ml
matching.ml
matching.mli
misc.ml
misc.mli
parser.mly
ppiMatching.ml
ppiMatching.mli
rule.ml
rule.mli
state.ml
state.mli
strategy.ml
strategy.mli
subst.ml
subst.mli
symbol.ml
symbol.mli
term.ml
term.mli

README.md

I find these programs I wrote for my graduation thesis by chance. So I put them on github. this README.md and .gitignores are added.

It seems that I was a douche that did't write comments and wrote huge functions without unit tests.