Programy według mccarthy.sf.net

McCarthy jest tłumaczem prostego, funkcjonalnego języka programowania pierwszego rzędu, który jest kompletny turinga i może być używany jako model obliczeń.