PROGRAMS BY mccarthy.sf.net

McCarthy is an interpreter for a simple, first-order functional programming language which is Turing-complete and can be used as a model of computation.