Qu'est Cαml?

Cαml (prononcez: « alphaCaml ») est un outil permettant de transformer une « spécification de liaison » en une unité de compilation OCaml. Ceci aide les auteurs d'interprètes, de compilateurs, ou d'autres programmes-qui-manipulent-des-programmes à gérer l'α-conversion de façon sûre et concise.

Veuillez lire d'abord cet aperçu de Cαml. Ensuite, consultez le manuel de référence.

Téléchargement

Voici le code source de la dernière version. Pour le compiler et l'installer, il vous faudra GNU make, OCaml (version 3.08 ou plus récente) et findlib.

Cαml est également disponible par l'intermédiaire de GODI. Une fois que vous installé GODI, cherchez godi-alphacaml à l'aide de godi_console.

Liste de diffusion

Il existe une liste de diffusion dédiée aux annonces de nouvelles versions et à la discussion de problèmes, bogues, nouvelles fonctionalités, etc. Seuls les abonnés peuvent écrire.


EnglishPage principale Email Téléphone: +33 1 39 63 52 64 Dernière modification : 21 March 2012