Programmes par toy.sf.net

TOY est un système logique fonctionnel de contrainte, conçu pour prendre en charge les principaux styles de programmation déclarative et leur combinaison