MonkeyPatch · Toulouse, France
Programme et preuves - Le typage dépendant comme un moyen de structurer sa pensée
Le troll dans ta machine
Introduction à Arrow - Typeclass is the new interface
