PyPI page
Author:
Yang, Bo
Summary:
A least-fixpoint first-order-shape-relation interpreter for the lambda-calculus
Latest version:
0.6.0
Required dependencies:
fixpoints
|
typing-extensions
Downloads last day:
0
Downloads last week:
11
Downloads last month:
39
7-day smoothing