Chương trình theo mccarthy.sf.net

McCarthy là một thông dịch viên cho một ngôn ngữ lập trình chức năng đơn giản, thứ tự đầu tiên là Turing-complete và có thể được sử dụng như một mô hình tính toán.