Program menurut lci.sf.net

LCI adalah penerjemah untuk kalkulus lambda. Ini mendukung banyak fitur kemajuan seperti bilangan bulat, rekursi, operator yang ditentukan pengguna, dan beberapa strategi evaluasi.