helm/coq-contribs/lambdadelta/web/basic_1.ldw.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <page xmlns="http://lambdadelta.info/"
   4       description = "\lambda\delta home page"
   5       title = "\lambda\delta home page"
   6       logo = "crux"
   7       head = "cic:/BOLOGNA/lambdadelta/basic_1/ (core λδ version 1)"
   8 >
   9    <sitemap name="sitemap"/>
  10
  11    <section6 name="blocks">Abstract Syntax and Behavior</section6>
  12    <body>This is a summary of available syntactic items and reductions (block structure).
  13    </body>
  14    <table name="basic_1_blk"/>
  15    <body>* In terms only.
  16    </body>
  17
  18    <section6 name="summary">Summary of the Specification</section6>
  19    <body>Here is a numerical account of the specification's contents
  20          and its timeline.
  21    </body>
  22    <table name="basic_1_sum"/>
  23
  24    <news class="delta" date="November 2019.">
  25       λδ-1A is repackaged (was λδ-1).
  26    </news>
  27    <news class="delta" date="January 2015.">
  28       λδ-1A is updated with backports from the abandoned specification of λδ-2.
  29    </news>
  30    <news class="delta" date="May 2008.">
  31       λδ-1A is concluded.
  32    </news>
  33    <news class="gamma" date="November 2006.">
  34       Decidability of native type assignment, λδ-1A is released.
  35    </news>
  36    <news class="beta" date="December 2005.">
  37       Preservation of native type by reduction, λδ-1A is announced.
  38    </news>
  39    <news class="alpha" date="May 2004.">
  40       λδ-1 started.
  41    </news>
  42
  43    <section6 name="structure">Logical Structure of the Specification</section6>
  44    <body>This table reports the specification's components and their planes.
  45    </body>
  46    <table name="basic_1_src"/>
  47
  48    <footer/>
  49 </page>