@@ -141,13 +193,13 @@
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).
@@ -160,15 +212,15 @@
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.
June 2014.
The Google
search for "formal system lambda delta" gives
- 5 resources about λδ in the first 6 results.
+ 5 resources about the λδ family in the first 6 results.
@@ -299,11 +351,11 @@
June 2014.
The Yahoo
search for "formal system lambda delta" gives
- 4 resources about λδ in the first 5 results.
+ 4 resources about the λδ family in the first 5 results.
![[lambdadelta home]](http://lambdadelta.info/images/crux_32.png "lambdadelta home")
+ ![[Spacer]](http://lambdadelta.info/images/rainbow.png "lambdadelta rainbow rule")
+ ![[spacer]](http://lambdadelta.info/images/b3.png "lambdadelta butterfly")
+