Search results
1 packages found
Macro Lambda Calculus
- lambda-calculus
- pure
- untyped
- interaction-nets
- interaction-calculus
- optimal-reduction
- abstract-algorithm
- closed-reduction
- lambdascope
- api
- cli
published 0.5.2 6 years ago
M
Q
P
Macro Lambda Calculus