Tribune de lthms 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 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 De l’écriture d’un article scientifique recherche humour Emacs, montre moi ces espaces que je ne saurais voir Comment j’ai galéré pour configurer Emacs sur un point ultra-particulier emacs Equivalence, morphisme et réécriture en Coq Où l’on apprend comment étendre le fonctionnement de la tactique `rewrite` coq preuve méthodes formelles
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
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
Emacs, montre moi ces espaces que je ne saurais voir Comment j’ai galéré pour configurer Emacs sur un point ultra-particulier emacs
Equivalence, morphisme et réécriture en Coq Où l’on apprend comment étendre le fonctionnement de la tactique `rewrite` coq preuve méthodes formelles
