taddeus/trs: Mathematical term rewriting system @ e0adb07949f476b79c8e3889f18bc05633bcb571

Sander Mathijs van Veen e0adb07949 Almost finished project proposal and implemented build system.		14 年之前
..
proposal.tex	e0adb07949 Almost finished project proposal and implemented build system.	14 年之前
rules.mk	e0adb07949 Almost finished project proposal and implemented build system.	14 年之前