Session 3 - Introduction à Idris

Mercredi 15 février 2018

Arnaud Bailly est de retour parmis nous, avec cette fois une introduction au langage Idris.

Nicolas Biri nous a rejoint pour l’occasion. Il a eté réviseur pour le livre de référence sur Idris, recemment édité chez Manning par l’auteur du langage: Type-Driven Development with Idris

Ils nous offrent tous les deux une magnifique session d’introduction, accessible aux débutants que nous sommes, et qui donne un bel appercu de la puissance du langage.