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