PyPI page
Home page
Author:
None
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:
24
Downloads last week:
119
Downloads last month:
1,014