Presentation about GF at Initial Types Club meeting on 3rd December 2020. General introduction to GF, followed by special focus on subtyping.
The code examples are in this repository, and my slides are here.
Presentation about GF at Initial Types Club meeting on 3rd December 2020. General introduction to GF, followed by special focus on subtyping.
The code examples are in this repository, and my slides are here.