Search results
2 packages found
Sort by: Default
- Default
- Most downloaded this week
- Most downloaded this month
- Most dependents
- Recently published
Powered By [Fusion.Design](https://fusion.design/)
published version 0.1.0, 4 years ago0 dependents licensed under $ISC
8
Macro Lambda Calculus
- lambda-calculus
- pure
- untyped
- interaction-nets
- interaction-calculus
- optimal-reduction
- abstract-algorithm
- closed-reduction
- lambdascope
- api
- cli
published version 0.5.2, 6 years ago0 dependents licensed under $MIT
97