News
Assignment 4 Typo Fixed
Written on 27.01.2021 20:58 by Sebastian Böhm
Dear Students,
someone in the forum noticed a typo in task 1b) of the fourth assignment sheet. The variability context to use for the type derivation should of course be phi' and not phi. We updated the assignment sheet accordingly.
Best,
the SE team
Edit: Typos while fixing typos... It's task 1b), not 2b).