/src/lambda/ast.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/lambda/ast.ts";

Variables

Star

Functions

f Ann
f App
f Bound
f contextGet
f Free
f HasKind
f HasType
f Inf
f Lam
f NApp
f NFree
f vapp
f vfree
f VLam
f VNeutral

Type Aliases

T Ann
T App
T Bound
T Context
T CTerm
T Env
T Free
T HasKind
T HasType
T Inf
T Info
T ITerm
T Kind
T Lam
T NApp
T Neutral
T NFree
T Value
T VLam
T VNeutral