Towards the unification of terms, types, environments and contexts
News
+
+
September 2011. The
+denomination "lambda-delta" changes to "lambda_delta".
+
+
The character "-" is reserved in λδ textual syntax
+(recognized by Helena 0.8.1).
+
+
Eventually, the occurrences of the character "-" will be
+replaced by "_" in all λδ-related identifiers.
+
In particular, this refactoring involves file names and
+path names.
+
The permanent λδ URL is sheduled to become http://lambda_delta.info as soon as
+possible.
+
+
+
+
+
April 2011. The
+specification of λδ version 2 is restarted in Matita 0.5.
+
+
December 2010.
Permanent λδ URL acquired: http://lambda-delta.info
@@ -67,8 +90,11 @@ started.
href="implementation.html#helena">λδ, is
available
-as a
-part of the HELM software.
+as
+a
+part
+of
+the HELM software.
@@ -98,10 +124,9 @@ pages of the specification of λδ in Matita 0.5 are online.
-
March 2008. An
-improvement of the
-specification of λδ in Coq 7.3.1 begins:
-
+
March 2008. The
+specification of λδ version 2 in Coq 7.3.1 begins:
+
![[Crux Logo]](download/crux_32.png "The Crux")
![[Butterfly]](download/b5.png "Butterfly")
+ ![[Use Any Browser Here]](http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png "Use Any Browser Here")
![[PNG Used Here]](http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png "PNG Used Here")