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
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
Index
lambda
lambdapi
common.ts
deps.ts
Applicative Parser
repl.ts