https://github.com/jeroenk/Anagopos3D
Revision b76cd88235ae8b004baa257f37570598d01675bd authored by Jeroen Ketema on 26 July 2011, 14:41:08 UTC, committed by Jeroen Ketema on 26 July 2011, 14:44:49 UTC
1 parent 6048516
Tip revision: b76cd88235ae8b004baa257f37570598d01675bd authored by Jeroen Ketema on 26 July 2011, 14:41:08 UTC
TRS terms and TRS rule set parsing
TRS terms and TRS rule set parsing
Tip revision: b76cd88
| 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.6 KB |
| examples.txt | -rw-r--r-- | 539 bytes |
| lambda.py | -rw-r--r-- | 2.8 KB |
| operations.py | -rw-r--r-- | 2.2 KB |
| ubigraph.py | -rw-r--r-- | 13.8 KB |
Computing file changes ...
