资 源 简 介
Implementing a Dependently-Typed Lambda Calculus
Welcome to our COMP 527 project webpage on implementing a dependently-typed lambda calculus.
In this project we will try to learn about simply-typed and dependently-typed lambda calculus, experiment with different implementations, and make the connection with logic and natural deduction.
Check out the Wiki for our project proposal and milestones, and the repository for the source code.
Team members:
* Ali Assaf
* Abbie Desrosiers
* Alexandre Tomberg
