= SEMPL

Ce dépôt contient mes notes de SEMPL (_Models of Programming Languages:
Domains, Categories, Games_).

Je ne peux garantir l'absence de typos et d'erreurs de recopiage.

- `1.typ` : Contient la partie 1 de Paul-André Mellies
- `2.typ` : Contient la partie 2 de Guillaume Geoffroy