Mathematical term rewriting system

Sander Mathijs van Veen e0adb07949 Almost finished project proposal and implemented build system. il y a 14 ans
docs e0adb07949 Almost finished project proposal and implemented build system. il y a 14 ans
.gitignore 48776a585a Initial commit; the project proposal and git ignore list. il y a 14 ans
Makefile e0adb07949 Almost finished project proposal and implemented build system. il y a 14 ans
base.mk e0adb07949 Almost finished project proposal and implemented build system. il y a 14 ans