emacs

Mutt et le calendrier révolutionnaire

Le module Calendar d'emacs permet d'obtenir la date sous différents formats dont celui du calendrier révolutionnaire.
Pour récupérer la chaîne de caractères formée par calendar-french-date-string, on va utiliser emacsclient --eval puis créer une chaîne qu'on va inclure dans le fichier .muttrc

Travailler en C sous Emacs

Quand je vois tant d'étudiants cliquer dans tous les sens pendant les TP alors qu'ils pourraient avoir tout sous la main : le main.c, le truc.h et son truc.c, le makefile, le shell....

IMAGE(http://download.tuxfamily.org/tehessinmath/les_images/emacs_C.png)

Tags

Automates finis et Haskell

IMAGE(http://download.tuxfamily.org/tehessinmath/les_images/animdsEx.png)

Voici un exemple de programmation des automates finis en Haskell et une visualisation directe dans emacs via graphviz. On peut aussi admirer le talent de Haskell pour gérer les E/S et lancer une commande externe dans le shell.

Math discrète INFO1

La saison reprend...
Mais le programme change cette année ! Outre les contenus mathématiques un peu réorganisés, la nouveauté est l'arrivée de Haskell à la place de OCaml...On y trouvera même des exercices d'un manuel de CM1...de 1970...
Au sommaire:

ADA et emacs

Un petit aide-mémoire pour faire tourner une procédure ADA sous emacs avec ada-mode.

Il faut au préalable installer gnat :

Tags

courtesy of webmatter.de