https://github.com/jeroenk/Anagopos3D
Revision ae0230a8bfb45299a19a50b8ffc6d8a47c3f3fb4 authored by Jeroen Ketema on 30 November 2009, 21:44:58 UTC, committed by Jeroen Ketema on 30 November 2009, 21:44:58 UTC
1 parent 17c7ab0
History
Tip revision: ae0230a8bfb45299a19a50b8ffc6d8a47c3f3fb4 authored by Jeroen Ketema on 30 November 2009, 21:44:58 UTC
Add functionality to track down redexes
Tip revision: ae0230a
File Mode Size
.gitignore -rw-r--r-- 9 bytes
LambdaTermClass.py -rw-r--r-- 3.5 KB
lambda.py -rw-r--r-- 47 bytes

back to top