Chương trình theo petit-lambda.sf.net

Một thông dịch viên của tính toán lambda.Nó cho thấy quá trình giảm các thuật ngữ lambda.Một số chiến lược đánh giá được hỗ trợ.Định dạng đầu ra có thể được chọn từ LaTex, văn bản thuần túy.