@alexo/lambda

Macro Lambda Calculus

v0.5.2 URL: https://unpkg.com/@alexo/lambda@0.5.2/index.js

Open Browse Files

lambda-calculus pure untyped interaction-nets interaction-calculus optimal-reduction abstract-algorithm closed-reduction lambdascope api cli

inet-lib

JavaScript Engine for Interaction Nets

v0.2.7 URL: https://unpkg.com/inet-lib@0.2.7/index.js

Open Browse Files

interaction-nets interaction-calculus lambda-calculus api

abstract-algorithm

Optimal evaluation of some lambda terms

v0.2.5 URL: https://unpkg.com/abstract-algorithm@0.2.5/src/absal.js

Open Browse Files

functional-programming lambda-calculus interaction-combinators interaction-nets