summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Collapse)Author
2012-09-05Delete a lot of tex stuff, better debug infoCarlo Zancanaro
Some other stuff, too, I think. Oh well. No biggie!
2012-04-06Move everything into impl/ and add a Makefile.Carlo Zancanaro
2012-03-30Initial commit. Basic Kleene iteration stuff.Carlo Zancanaro