An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
-
Updated
Nov 24, 2021 - Rust
An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
Add a description, image, and links to the typed-lambda-calculus topic page so that developers can more easily learn about it.
To associate your repository with the typed-lambda-calculus topic, visit your repo's landing page and select "manage topics."