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

LCI là một thông dịch viên cho tính toán lambda. Nó hỗ trợ nhiều tính năng nâng cao như số nguyên, đệ quy, toán tử do người dùng xác định và nhiều chiến lược đánh giá.