Search results
2 packages found
Sort by: Default
- Default
- Most downloaded this week
- Most downloaded this month
- Most dependents
- Recently published
Powered By [ArcoDesign](https://arco.design/)
published version 0.0.1, 13 days ago0 dependents licensed under $MIT
66
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
196