summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2012-09-05Delete a lot of tex stuff, better debug info...Carlo Zancanaro
2012-04-06Move everything into impl/ and add a Makefile.Carlo Zancanaro
2012-03-30Initial commit. Basic Kleene iteration stuff.Carlo Zancanaro