+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-
-<page xmlns="http://lambdadelta.info/"
- description = "\lambda\delta home page"
- title = "\lambda\delta home page"
- logo = "crux"
- head = "cic:/BOLOGNA/lambdadelta/basic_1/ (core λδ version 1)"
->
- <sitemap name="sitemap"/>
-
- <section6 name="blocks">Abstract Syntax and Behavior</section6>
- <body>This is a summary of available syntactic items and reductions (block structure).
- </body>
- <table name="basic_1_blk"/>
- <body>* In terms only.
- </body>
-
- <section6 name="summary">Summary of the Specification</section6>
- <body>Here is a numerical account of the specification's contents
- and its timeline.
- </body>
- <table name="basic_1_sum"/>
-
- <news class="delta" date="January 2015.">
- Update with backports from the abandoned specification of λδ version 2.
- </news>
- <news class="delta" date="May 2008.">
- Specification is concluded.
- </news>
- <news class="gamma" date="November 2006.">
- Decidability of native type assignment, λδ version 1 is released.
- </news>
- <news class="beta" date="December 2005.">
- Preservation of native type by reduction, λδ version 1 is announced.
- </news>
- <news class="alpha" date="May 2004.">
- Specification starts.
- </news>
-
- <section6 name="structure">Logical Structure of the Specification</section6>
- <body>This table reports the specification's components and their planes.
- </body>
- <table name="basic_1_src"/>
-
- <footer/>
-</page>