Towards the unification of terms, types, environments and contexts
@@ -71,6 +71,8 @@ specification of λδ version 2 and related topics is restarted in Here is a page about the
specification (Core).
+
Here is a page about the
+background of the specification (Ground).
@@ -225,9 +227,9 @@ this site as the first result.
Transitional" src="http://www.w3.org/Icons/valid-html401" style="border: 0px solid ; width: 88px; height: 31px;">