Search results
1 package found
Sort by: Default
- Default
- Most downloaded this week
- Most downloaded this month
- Most dependents
- Recently published
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