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
/
lambda
/
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
HasKind
T
f
HasType
T
f
Inf
T
Info
T
ITerm
T
Kind
T
f
Lam
T
f
NApp
T
Neutral
T
f
NFree
T
Value
T
f
VLam
T
f
VNeutral
v
Star
f
contextGet
f
vapp
f
vfree
check.ts
T
f
TypeError
f
iType
f
iType0
eval.ts
f
iEval
parser.ts
v
parseITerm0
v
parseStatement
v
parseType
print.ts
f
print
f
printType
quote.ts
f
boundfree
f
neutralQuote
f
quote
f
quote0
This module does not provide any exports.