Tarafından Programlar lci.sf.net

LCI lambda kalkülüs için bir tercüman. Bu, karşıtlar, özyineleme, kullanıcı tanımlı işleçler ve birden çok değerlendirme stratejileri gibi birçok ilerleme özelliğini destekler.