Labels Milestones

New issue

Term Project

Complete and easy bidirectional type checking paper

https://www.cl.cam.ac.uk/~nk480/bidir.pdf

2

To Do

Alpha-equivalence or de-Bruijn indices

#2 opened 2023-11-07 08:49:26 +00:00 by michael

Formalization in Agda

#3 opened 2023-11-07 08:49:36 +00:00 by michael

0

In Progress

0

Done

0

Uncategorized

Term Tracker

#1 opened 2023-11-07 08:43:32 +00:00 by michael

2 / 3