taddeus/trs: Mathematical term rewriting system @ e0adb07949f476b79c8e3889f18bc05633bcb571

Mathematical term rewriting system

Sander Mathijs van Veen e0adb07949 Almost finished project proposal and implemented build system.		14 жил өмнө
docs	e0adb07949 Almost finished project proposal and implemented build system.	14 жил өмнө
.gitignore	48776a585a Initial commit; the project proposal and git ignore list.	14 жил өмнө
Makefile	e0adb07949 Almost finished project proposal and implemented build system.	14 жил өмнө
base.mk	e0adb07949 Almost finished project proposal and implemented build system.	14 жил өмнө