The Formal System λδ (\lambda\delta)
Milestones
![[spacer]](http://lambdadelta.info/images/b3.png "lambdadelta butterfly")
-
July 2014.
A new version of this site is online.
-
December 2012.
The character "_" is removed from the denomination "lambda_delta":
-
The denomination "\lambda\delta" is used in λδ-related texts.
-
The denomination "lambdadelta" is used in λδ-related identifiers.
-
Permanent λδ URL acquired:
http://lambdadelta.info/
(pointing at this site).
-
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.
-
February 2011.
The specification of λδ version 2 with Coq 7.3.1 is abandoned.
-
December 2010.
Transient λδ URL acquired: http://lambda-delta.info/ (expires on December 2012).
-
November 2010.
"Helena 0.8.1" is released.
-
September 2008.
This site is online.
-
May 2008.
The specification of λδ version 1 is concluded.
-
March 2008.
The specification of λδ version 2 is started with Coq 7.3.1 (false start).
-
May 2004.
The specification of λδ version 1
is started with Coq 7.3.1.
Visibility
-
June 2014.
The Google
search for "formal system lambda delta" gives
5 resources about λδ in the first 6 results.
-
June 2014.
The Yahoo
search for "formal system lambda delta" gives
4 resources about λδ in the first 5 results.
Last update: Tue, 04 Nov 2014 16:28:51 +0100
![[lambdadelta home]](http://lambdadelta.info/images/crux_32.png "lambdadelta home")
![[Spacer]](http://lambdadelta.info/images/rainbow.png "lambdadelta rainbow rule")
![[Generated from XML via XSL]](http://lambdadelta.info/images/xml_xsl2.png "Generated from XML via XSL")
![[PNG used here]](http://lambdadelta.info/images/PNGnow2.png "PNG used here")
![[Viewable with any browser]](http://www.anybrowser.org/campaign/bvgraphics/abtfile.png "Viewable with any browser")