Program menurut petit-lambda.sf.net

Seorang penerjemah kalkulus lambda.Ini menunjukkan proses pengurangan istilah lambda.Beberapa strategi evaluasi didukung.Format output dapat dipilih dari LaTex, teks biasa.