Equivalence, morphisme et réécriture en Coq Où l’on apprend comment étendre le fonctionnement de la tactique `rewrite` dans Programmation et algorithmique et Mathématiques Lundi 15 mai 2017 à 20h25 15/05/17 à 20h25 par lthms coq preuve méthodes formelles
Emacs, montre moi ces espaces que je ne saurais voir Comment j’ai galéré pour configurer Emacs sur un point ultra-particulier dans Autres (informatique) Dimanche 09 juillet 2017 à 15h05 09/07/17 à 15h05 par lthms emacs
De l’écriture d’un article scientifique dans Autres (informatique) Samedi 20 janvier 2018 à 17h59 20/01/18 à 17h59 par lthms recherche humour
Petit tour d’horizon des dépendances de pi-hoole Où il est question de la maturité de l’écosystème Haskell… et de ses faiblesses aussi dans Programmation et algorithmique , Développement Web et Autres (informatique) Dimanche 06 mai 2018 à 13h33 06/05/18 à 13h33 par lthms retour d'xp haskell
Zen Lisp #1 : Découverte de trivial-gamekit Mon initiation à Lisp au travers de l’écriture d’un client pour jeu en ligne ; parce que pourquoi pas? dans Programmation et algorithmique Dimanche 17 juin 2018 à 17h52 17/06/18 à 17h52 par lthms jeu 2d journal lisp