10 Mar
2021
10 Mar
'21
18:18
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