Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
concat.dot		concat.dot
concat.png		concat.png
inter.dot		inter.dot
inter.png		inter.png
nfa.ml		nfa.ml
omega.dot		omega.dot
omega.png		omega.png
single_init.dot		single_init.dot
single_init.png		single_init.png
single_init.pong		single_init.pong
union.dot		union.dot
union.png		union.png