Programmes par mccarthy.sf.net

McCarthy est un interprète pour un langage de programmation fonctionnel simple et de premier ordre qui est complet à Turing et peut être utilisé comme modèle de calcul.