<page xmlns="http://lambdadelta.info/"
description = "\lambda\delta home page"
title = "\lambda\delta home page"
+ logo = "crux"
head = "The Formal Systems of the λδ (\lambda\delta) Family"
>
<sitemap name="sitemap"/>
<section3 name="milestones">Milestones</section3>
+ <news class="alpha" date="December 2015.">
+ <rlink to="documentation.html#ldJ3a">Second journal paper on λδ</rlink>
+ accepted for publication.
+ </news>
+
<news class="gamma" date="December 2015.">
<rlink to="implementation.html#v3">"Helena 0.8.3"</rlink> is released.
</news>