https://github.com/jeroenk/Anagopos3D
Revision 8fcbee0c95927414f54f1c2e41613efd93dfd551 authored by Jeroen Ketema on 25 July 2011, 16:56:41 UTC, committed by Jeroen Ketema on 25 July 2011, 16:58:30 UTC
* Only parsing of lambda terms currently works
1 parent f53eb7f
Tip revision: 8fcbee0c95927414f54f1c2e41613efd93dfd551 authored by Jeroen Ketema on 25 July 2011, 16:56:41 UTC
Import the relevant parts of the Anagopos GUI
Import the relevant parts of the Anagopos GUI
Tip revision: 8fcbee0
File | Mode | Size |
---|---|---|
.gitignore | -rw-r--r-- | 9 bytes |
COPYING | -rw-r--r-- | 34.3 KB |
LambdaTermClass.py | -rw-r--r-- | 6.8 KB |
README | -rw-r--r-- | 49 bytes |
anagopos3d.py | -rw-r--r-- | 10.2 KB |
examples.txt | -rw-r--r-- | 539 bytes |
lambda.py | -rw-r--r-- | 2.7 KB |
lambda_parser.py | -rw-r--r-- | 5.4 KB |
operations.py | -rw-r--r-- | 2.6 KB |
ubigraph.py | -rw-r--r-- | 13.5 KB |
Computing file changes ...