les
Mobile ambients
sont des trucs de pi-calcul. C'est un peu la merde à utiliser. Il faut lancer un JocamlNs, puis un ambient-server, et enfin on peut lancer des ambient-eval.
Version installée: 0.7