This is a list of publications citing λδ documentation.
@@ -136,7 +136,7 @@
-
C. Dunchev, F. Guidi, C. Sacerdoti Coen, E. Tassi:
- ELPI: fast, Embeddable, λProlog Interpreter
+ ELPI: Fast, Embeddable, λProlog Interpreter
(2015). In proc. of LPAR 20. Lecture Notes in Computer Science, 9450, pp. 460-468. Springer.
@@ -183,11 +183,11 @@
-
Disclaimer
![lambdadelta butterfly [spacer]](http://lambdadelta.info/images/b9.png)
+
Disclaimer
- The systens of the λδ family are not related intentionally to any other system
- having (variations of) the symbols λ and δ in its name or syntax.
+ The systens of the λδ family are not related intentionally to
+ any other system having (variations of) the symbols λ and δ in its name or syntax.
Examples include (but are not limited to):
@@ -250,8 +250,15 @@
Eindhoven University of Technology, Eindhoven.
+
+
![Smile! [Smiling face]](http://lambdadelta.info/images/smile.png)
+ Moreover, the systens of the λδ family
are not related intentionally to
+
Lady Lambdadelta,
+ the Witch of Certainty of the sound novel
+
Umineko no Naku Koro ni.
+
-
![lambdadelta rainbow rule [Spacer]](http://lambdadelta.info/images/rainbow.png)
+
@@ -276,6 +283,6 @@
-
Last update: Wed, 30 Dec 2015 15:33:02 +0100
+
Last update: Sun, 22 May 2016 15:25:26 +0200