https://github.com/jeroenk/Anagopos3D
Revision d96d2daeee0e281d3146798d33843738e5fdbdaa authored by Jeroen Ketema on 01 December 2009, 21:32:39 UTC, committed by Jeroen Ketema on 01 December 2009, 21:32:39 UTC
Also include two test terms: omega and Y
1 parent bf4450e
Tip revision: d96d2daeee0e281d3146798d33843738e5fdbdaa authored by Jeroen Ketema on 01 December 2009, 21:32:39 UTC
Add function that iteratively reduces lambda terms
Add function that iteratively reduces lambda terms
Tip revision: d96d2da
File | Mode | Size |
---|---|---|
.gitignore | -rw-r--r-- | 9 bytes |
LambdaTermClass.py | -rw-r--r-- | 6.2 KB |
lambda.py | -rw-r--r-- | 1.1 KB |
Computing file changes ...