Atur cara mengikut lci.sf.net

LCI adalah jurubahasa untuk kalkulus lambda. Ia menyokong banyak ciri kemajuan seperti integer, recursion, pengendali yang ditakrifkan pengguna dan pelbagai strategi penilaian.