Tribune de lthms Equivalence, morphisme et réécriture en Coq Où l’on apprend comment étendre le fonctionnement de la tactique `rewrite` 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 emacs De l’écriture d’un article scientifique 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 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? jeu 2d journal lisp
Equivalence, morphisme et réécriture en Coq Où l’on apprend comment étendre le fonctionnement de la tactique `rewrite` 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 emacs
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 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? jeu 2d journal lisp
