Skip to main content
Products
Open Source
Deno
Modern runtime for JavaScript and TypeScript
Fresh
Web framework designed for the edge
JSR
TypeScript-first ESM package registry
Cloud
Deploy
Easy serverless hosting for your JavaScript projects
Subhosting
Securely run untrusted code in a scalable sandbox
Pricing
Starts free and scales with your needs
Docs
Manual
API Reference
Deno Deploy
Deno KV
Deno by Example
Modules
Current path
deno.land/x
Standard Library
Node.js & npm
JSR
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
Directory
.vscode
77 B
lambda
13 KB
lambdapi
18 KB
common.ts
3 KB
deps.ts
428 B
repl.ts
9 KB