프로그램별 lci.sf.net

LCI - A lambda calculus interpeter 무료

국제협회는 람다 미적분학을 통역사로 합니다. 정수, 재귀, 사용자 정의 연산자 및 여러 평가 전략과 같은 많은 발전 기능을 지원합니다.