Tarafından Programlar petit-lambda.sf.net

Lambda Kalkülüs'ün tercümanı.Lambda terimlerinin azalma sürecini gösterir.Çeşitli değerlendirme stratejileri desteklenir.Çıkış biçimi LaTex, düz metin den seçilebilir.