school
/
csci8980-f23
1
0
Fork 0
Code Issues 3 Pull Requests Packages Projects 1 Releases Wiki Activity
Sort
Oldest Recently updated Least recently updated

  • Term Project

    3 Open
    0 Closed

    Complete and easy bidirectional type checking paper

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