लैम्ब्डा पथरी का एक दुभाषिया। यह लैम्ब्डा शर्तों की कमी की प्रक्रिया को दर्शाता है। कई मूल्यांकन रणनीतियों का समर्थन कर रहे हैं। आउटपुट प्रारूप का चयन लैटेक्स, सादे पाठ से किया जा सकता है।
संस्करण इतिहास
- विवरण 0.1 पर तैनात 2006-11-07
कई सुधार और अपडेट - विवरण 0.1 पर तैनात 2006-11-07
कार्यक्रम विवरण
- कोटि: विकास > अन्य
- प्रकाशक: petit-lambda.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 0.1
- मंच: linux