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
Tip revision: ae0230a8bfb45299a19a50b8ffc6d8a47c3f3fb4 authored by Jeroen Ketema on 30 November 2009, 21:44:58 UTC
Add functionality to track down redexes
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 |
Computing file changes ...