Untyped | npm.io

Macro Lambda Calculus

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

0.5.2 • Published 6 years ago

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

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

0.17.21 • Published 1 month ago