https://github.com/jeroenk/Anagopos3D
Revision d3841219298009dfcdb72eb9c8c81c6cb87df009 authored by Jeroen Ketema on 26 July 2011, 19:47:52 UTC, committed by Jeroen Ketema on 26 July 2011, 19:48:33 UTC
Fix a number of bugs in earlier code in the process
1 parent 0e64432
Tip revision: d3841219298009dfcdb72eb9c8c81c6cb87df009 authored by Jeroen Ketema on 26 July 2011, 19:47:52 UTC
Add TRS term parser
Add TRS term parser
Tip revision: d384121
File | Mode | Size |
---|---|---|
lambda_terms | ||
trs_terms | ||
.gitignore | -rw-r--r-- | 9 bytes |
COPYING | -rw-r--r-- | 34.3 KB |
README | -rw-r--r-- | 49 bytes |
anagopos3d.py | -rw-r--r-- | 16.4 KB |
examples.txt | -rw-r--r-- | 539 bytes |
lambda.py | -rw-r--r-- | 2.8 KB |
operations.py | -rw-r--r-- | 2.3 KB |
ubigraph.py | -rw-r--r-- | 13.8 KB |
Computing file changes ...