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 年 前