fredokun/nominal-workbench — pull request #4 by ptal (2014-03-20 01:38:15+00:00)
Title: Final product

Here is our final product, a working rewriting system. Get started by giving a look at the README, and by reading our user manual.