<div xmlns:ld="http://lambdadelta.info/" class="text">
The formal specification of λδ version 3
is forthcoming.
</div>
<!-- VERSION 2 =========================================================== -->
<div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v2">
<div xmlns:ld="http://lambdadelta.info/" class="text">
The formal specification of λδ version 3
is forthcoming.
</div>
<!-- VERSION 2 =========================================================== -->
<div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v2">