Skip to main content
Deno 2 is finally here 🎉️
Learn more
->
Dismiss
Products
Open Source
Deno
Modern runtime for JavaScript and TypeScript
Fresh
Web framework designed for the edge
JSR
TypeScript-first ESM package registry
Commercial
Deno for Enterprise
Enterprise support for runtime projects
Deploy
Easy serverless hosting for your JavaScript projects
Subhosting
Securely run untrusted code in a scalable sandbox
Docs
Modules
Standard Library
JSR
Node.js & npm
Current path
deno.land/x
Community
Discord
GitHub
X
YouTube
Mastodon
Blog
Search…
⌘K
Module
x
/
lambdapi
/
src
/
lambdapi
/
main.ts
Deno TypeScript implementation of LambdaPi interpreter from "A Tutorial Implementation of a Dependently Typed Lambda Calculus" https://www.andres-loeh.de/LambdaPi/
keean/lambdapi
Version
Latest
v1.0.1
Menu
main.ts
(default module)
ast.ts
T
f
Ann
T
f
App
T
f
Bound
T
Context
T
CTerm
T
Env
T
f
Free
T
f
Inf
T
ITerm
T
f
Lam
T
f
NApp
T
Neutral
T
f
NFree
T
f
Pi
T
f
Star
T
Type
T
Value
T
f
VLam
T
f
VNeutral
T
f
VPi
T
f
VStar
f
contextGet
f
cTermEq
f
iTermEq
f
vapp
f
vfree
check.ts
T
f
TypeError
f
iType
f
iType0
eval.ts
f
cEval
f
iEval
parser.ts
v
parseITerm0
v
parseStatement
f
parseITerm1
f
parseITerm2
print.ts
f
iPrint
f
print
f
printType
quote.ts
f
boundfree
f
neutralQuote
f
quote
f
quote0
This module does not provide any exports.