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 년 전