PyPI page
Home page
Author:
None
Summary:
A pure lambda-calculus interpreter that applies tabling to weak-head reduction, folding self-referential terms into finite cyclic graphs
Latest version:
0.8.0
Required dependencies:
fixpoints
|
typing-extensions
Downloads last day:
3
Downloads last week:
61
Downloads last month:
910