2 Midterm

The midterm will start on November 4th. It’s due date is the following Tuesday, November 9th, before class.

Your job is to write a generator for a STLC with unit and integer types where binders are implemented using DeBruijn indices. The stub with a lot more information can be found here: STLC.v

To submit, just send me an email with your solution. Installation instructions for QuickChick can be found on QuickChick’s Github. A handy guide to install some of these in Windows through opam is available here.