โปรแกรมตาม petit-lambda.sf.net

ล่ามของแคลคูลัส lambdaมันแสดงให้เห็นกระบวนการลดของคําศัพท์ lambdaกลยุทธ์การประเมินผลหลายกลยุทธ์ได้รับการสนับสนุนสามารถเลือกรูปแบบผลลัพธ์จาก LaTex ข้อความธรรมดา