<div xmlns:ld="http://lambdadelta.info/" class="text">
The formal specification of λδ version 2
is available in the following formats:
<div xmlns:ld="http://lambdadelta.info/" class="text">
The formal specification of λδ version 2
is available in the following formats: