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
History
Tip revision: d96d2daeee0e281d3146798d33843738e5fdbdaa authored by Jeroen Ketema on 01 December 2009, 21:32:39 UTC
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

back to top