Assignments

Assignment 1: Introduction to Agda

You can find a template file to fill in here.

Assignment 2: Semantics

You can find a template file to fill in here.

Assignment 3: Type and effect systems

You can find a specification in pdf over here. Download the base version of the implementation over here.