@storm-software/untyped

A package containing `untyped` utilities for building Storm Software libraries and applications

v0.19.6 URL: https://unpkg.com/@storm-software/untyped@0.19.6/dist/index.js

Open Browse Files

acidic cyclone-ui untyped monorepo storm storm-ops storm-stack sullivanpj

lambda-calculus-with-js

Using JS' anonymous functions to perform lambda calculus

v1.2.0 URL: https://unpkg.com/lambda-calculus-with-js@1.2.0/index.js

Open Browse Files

lambda-calculus pure untyped lambda dsl internal-dsl

@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