โปรแกรมตาม lci.sf.net
-
LCI - A lambda calculus interpeter ฟรี
LCI เป็นล่ามสําหรับแคลคูลัส lambda รองรับคุณสมบัติความก้าวหน้ามากมายเช่นจํานวนเต็มการเกิดซ้ําตัวดําเนินการที่ผู้ใช้กําหนดและกลยุทธ์การประเมินหลาย
LCI เป็นล่ามสําหรับแคลคูลัส lambda รองรับคุณสมบัติความก้าวหน้ามากมายเช่นจํานวนเต็มการเกิดซ้ําตัวดําเนินการที่ผู้ใช้กําหนดและกลยุทธ์การประเมินหลาย