-
-
-
+ λδ version 3 (proposed)
+
+ The formal specification of λδ version 3
+ is forthcoming.
+
- λδ version 2 (active)
+ λδ version 2 (active)
The formal specification of λδ version 2
is available in the following formats:
@@ -262,7 +280,7 @@
- λδ version 1 (superseded)
+ λδ version 1 (superseded)
The formal specification of λδ version 1
is available in the following formats:
@@ -335,7 +353,7 @@
Core.
-
+
@@ -360,6 +378,6 @@
Last update: Wed, 30 Dec 2015 15:33:02 +0100
+ Last update: Sun, 22 May 2016 15:25:26 +0200