 | Page principale | Dernière modification : 10 August 2021 |
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.
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.
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.
| Page principale | Dernière modification : 10 August 2021 |