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 <section5 name="bibtex">Documentation</section5>
12 BibTeX database of λδ documentation:
13 <rlink to="download/lambdadelta.bib">lambdadelta.bib</rlink>,
14 <rlink to="download/lambdadelta.txt">lambdadelta.txt</rlink>
15 (revised <date date="2012-10"/>).
18 <section name="v2"><basic-icon/>λδ version 2 (in progress)</section>
20 The main source of information is <date date="P8"/>.
22 <table name="documentation_2"/>
24 <section name="v1"><basic-icon/>λδ version 1 (dismissed)</section>
26 The main source of information is <date date="J1"/>.
27 A summary is available in <date date="P5"/>.
29 <table name="documentation_1"/>