/usr/share/emacs/21.3/etc/refcard.ps.
L'implantation de Haskell utilisée pour ce cours est Hugs.
Sur les machines GNU/Linux du DIRO, Hugs installé
dans ~dift2030/bin/hugs. Pour l'utiliser, le plus simple
est d'ajouter ~dift2030/bin dans votre PATH. Bien sûr
vous pouvez aussi l'installer chez vous.
Pour éditer Haskell confortablement dans Emacs (avec highlighting et indentation automatique), il faut haskell-mode.
Sur les machines GNU/Linux du DIRO, haskell-mode est installé
dans ~dift2030/pkg/haskell-mode. Le plus simple pour
l'utiliser est d'ajouter (load "~dift2030/etc/emacs.el")
dans votre fichier ~/.emacs.
Depuis un buffer Haskell dans Emacs, vous pouvez envoyez le fichier
à Hugs avec C-c C-l. Vous pouvez aussi faire C-c
C-b pour sauter au prompt interactif de Hugs.
~dift2030/gprolog/bin. Il faut ajouter cela dans
votre PATH plutôt que l'appeler directement car il utilise
d'autres programmes de manière interne.
~/.emacs la ligne
(setq prolog-program-name "gprolog"). Vous pouvez ensuite
faire M-x run-prolog RET. Mais vous verrez que ce n'est
pas très sophistiqué.
Le système Twelf est installé sur les machines du DIRO dans le
compte dift6172. Pour l'utiliser, il vous faut:
~dift6172/bin à votre PATH.
(load "~dift6172/etc/emacs.el")
à votre ~/.emacs.
Le manuel du système Twelf, est disponible online sous Emacs dans le menu Twelf => Info. Le livre Computation and deduction de Frank Pfenning (aussi en 2-up) est aussi une bonne lecture pour se familiariser avec le système.
Le wiki est aussi une ressource utile. N'hésitez surtout pas à y contribuer, par example en y indiquant un problème que vous avez eu et comment vous l'avez surmonté.
Le système Coq est installé sur les machines du DIRO dans le
compte dift6172. Pour l'utiliser, il vous faut:
~dift6172/bin à votre PATH.
(load "~dift6172/etc/emacs.el")
à votre ~/.emacs pour utiliser
l'interface Proof
General entre Emacs et Coq.
La version installée est la version 8, où la syntaxe du langage a été
complètement révisée par rapport aux versions antérieures.
Il y a plusieurs manuels et
tutoriels disponibles online sur le web. Il y a aussi une
mailing-liste <coq-club@pauillac.inria.fr> que vous
pouvez aussi lire par l'intermédiaire
de Gmane
à
news://news.gmane.org/gmane.science.mathematics.logic.coq.club.
~dift3060/g4/bin/gsi.
gambit.el
dans votre ``home''
emacs &''
Esc'', puis ``xload-file'', puis
``Enter'', et finalement ``gambit.el'', puis
``Enter''.
,q''
pour quitter). La commande ``,?'' donne une liste des
commandes disponibles.
Voir cette
section de la documentation de Gambit pour les détails.
~/.emacs les 2 lignes
suivantes:
(setq scheme-program-name "~dift3060/g4/bin/gsi -:t")
(require 'gambit "~dift3060/g4/share/emacs/site-lisp/gambit.el")
emacs &''
Le compilateur Standard ML of New
Jersey est installée sur les machines du DIRO dans le
compte dift6172. Pour l'utiliser, il vous faut:
~dift6172/bin à votre PATH.
(load "~dift6172/etc/emacs.el")
à votre ~/.emacs.
Le système Objective Caml
est installée sur les machines du DIRO dans le
compte dift6172. Pour l'utiliser, il vous faut:
~dift6172/bin à votre PATH.
(load "~dift6172/etc/emacs.el")
à votre ~/.emacs.
Il y a pléthore de livres sur C. Il y a aussi divers tutoriels sur le web. Une bonne source d'information détaillée est la FAQ de comp.lang.c.
Pour les projets en C, je recommande aussi d'utiliser la documentation en
ligne de make, gdb, et glibc. Elle est accessible depuis Emacs
avec M-x info (aussi dans le menu Help =>
Manuals => Browse Manuals with Info).
Pour débugger des problèmes de gestion mémoire, il peut être utile de
faire un export MALLOC_CHECK_=2 pour attraper le problème
plus tôt. La documentation en ligne de glibc explique quels autres
valeurs peuvent être utilisées.