Assignment 4 Typo Fixed
Modified: 27.01.2021 21:13 Written By: Sebastian Böhm
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.
the SE team
Edit: Typos while fixing typos... It's task 1b), not 2b).