Proust: Adding natural numbers, CSC530, Fall 2024🔗

From LACI, part 3

Exercise 12, 13.

Here’s a link to a rewritten version of "proust-pred-eq.rkt" that is in Typed Racket and makes a few other changes, detailed at that link.

As you work on this code, I recommend signalling more specific errors than are currently in place. For instance, if you are type-checking a Succ and the contents turn out not to be of type Nat, maybe report what you actually got, rather than just dumping control into cannot-synth.

1 Handin🔗

Use the handin plugin, with the bin labeled "Assignment 3".