Dependent Types Assignment 8

In this assignment, you'll implement a type checker for a core version of Pie, called Tartlet. This requires understanding a few more type formers and their rules. This material cover Chapter 13, and 14.

1. I'll provide a starter file in Haskell and Racket. You're free to complete the assignment in any language at all.
2. Submit your type checker as a .zip file on Gradescope.

Parts of this assignment are written by David Christiansen and used with permission.