GitHub repository: FoxySeta/mgs-2021
Primary language: Agda
Created: 2021-04-14T02:48:59Z
Description: Exercises for the Midlands Graduate School (MGS) in the Foundations of Computing Science (2021).