Bonjour,
J'ai vu passer ça sur les réseaux sociaux, je pense que ça pourrait en intéresser quelques-uns.
https://github.com/idris-lang/Idris2/wiki/Idris-Developers-Meeting%2C-April-...
Le seul problème est que c'est le matin en UTC+1, je ne sais pas s'il y a des lève-tôt parmi vous.
Simon