Mathematical term rewriting system

Sander Mathijs van Veen 314ca19b2d Added debug information to bison generated parser. il y a 14 ans
docs 314ca19b2d Added debug information to bison generated parser. il y a 14 ans
external 314ca19b2d Added debug information to bison generated parser. il y a 14 ans
src 314ca19b2d Added debug information to bison generated parser. il y a 14 ans
tests 314ca19b2d Added debug information to bison generated parser. il y a 14 ans
.gitignore 314ca19b2d Added debug information to bison generated parser. il y a 14 ans
.gitmodules 7dd1e1a8e5 Added external pybison version 0.1.8 as git submodule. il y a 14 ans
Makefile 314ca19b2d Added debug information to bison generated parser. il y a 14 ans
base.mk e0adb07949 Almost finished project proposal and implemented build system. il y a 14 ans
test.py 314ca19b2d Added debug information to bison generated parser. il y a 14 ans