Programma's van mccarthy.sf.net

McCarthy is een tolk voor een eenvoudige, eerste-orde functionele programmeertaal die Turing-complete is en kan worden gebruikt als een model van berekening.