|
News ![Butterfly [Butterfly]](download/b5.png)
- 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 on
December 2012.
- April 2011. The
specification of λδ version 2 is restarted in Matita 0.5.
- Here is a page about the
specification.
- November 2010. Helena 0.8.1 is released.
- September 2008.
This site is online.
- March 2008. The
specification of λδ version 2 is started with Coq 7.3.1 (false start).
Visibility ![Butterfly [Butterfly]](download/b4.png)
- February 2012.
The Google
search for formal system lambda
delta
gives 5 resources about λδ in the first 6 results.
- February 2012.
The Yahoo
search formal system lambda delta
gives this site as the first result.
|