PyPI page
Author:
Yang, Bo
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:
2
Downloads last week:
20
Downloads last month:
53
7-day smoothing