summaryrefslogtreecommitdiff
path: root/Term.h
AgeCommit message (Collapse)Author
2012-04-06Move everything into impl/ and add a Makefile.Carlo Zancanaro
2012-03-30Initial commit. Basic Kleene iteration stuff.Carlo Zancanaro