1 <?xml version="1.0" encoding="UTF-8"?>
3 <page xmlns="http://lambdadelta.info/"
4 description = "\lambda\delta home page"
5 title = "\lambda\delta home page"
6 head = "The Formal System λδ (\lambda\delta)"
8 <sitemap name="sitemap"/>
10 <section4 name="bibtex">Documentation</section4>
12 BibTeX database of λδ documentation:
13 <date date="download"/>
14 <rlink to="download/lambdadelta.bib">lambdadelta.bib</rlink>,
16 <rlink to="download/lambdadelta.txt">lambdadelta.txt</rlink>
17 (revised <date date="2014-10"/>).
20 <subsection name="v2"><version2-icon/>λδ version 2 (ongoing)</subsection>
22 The main source of information is <date date="P8"/>.
24 <table name="documentation_2"/>
26 <subsection name="v1"><version1-icon/>λδ version 1 (dismissed)</subsection>
28 The main source of information is <date date="J1"/>.
29 A summary is available in <date date="P5"/>.
31 <table name="documentation_1"/>