/src/common.ts | lambdapi@v1.0.1

Deno TypeScript implementation of LambdaPi interpreter from "A Tutorial Implementation of a Dependently Typed Lambda Calculus" https://www.andres-loeh.de/LambdaPi/

keean/lambdapi

Latest

import * as lambdapi from "https://deno.land/x/lambdapi@v1.0.1/src/common.ts";

Functions

f Assume
f Bind
f Eval
f Fun
f Global
f Let
f Local
f NameEnv
f nameEq
f nameGet
f nPrint
f Out
f parensIf
f PutStrLn
f Quote
f TFree
f typeEq
f vars

Type Aliases

T Assume
T Bind
T Eval
T Global
T Let
T Local
T Name
T NameEnv
T Out
T PutStrLn
T Quote
T Statement
T Type