update in ground_2 and basic_2 ...

[helm.git] / helm / www / lambdadelta / basic_2.html

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 4003948a122714eaebe56cba462424f74d8ba675..5ae7da3063e1448a8bed8e391e332259463afc03 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,29 +144,29 @@
           <tr>
             <td class="snns capitalize italic cyan">sizes</td>
             <td class="snns italic cyan">files</td>
-            <td class="snnn right italic cyan">83</td>
+            <td class="snnn right italic cyan">102</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">55955</td>
+            <td class="snnn right italic cyan">69295</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">191279</td>
+            <td class="ssnn right italic cyan">245853</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
-            <td class="snnn right italic green">33</td>
+            <td class="snnn right italic green">34</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">211</td>
+            <td class="snnn right italic green">256</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">244</td>
+            <td class="ssnn right italic green">290</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
             <td class="snss italic yellow">declared</td>
-            <td class="snsn right italic yellow">15</td>
+            <td class="snsn right italic yellow">21</td>
             <td class="snss italic yellow">defined</td>
-            <td class="snsn right italic yellow">23</td>
+            <td class="snsn right italic yellow">29</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">38</td>
+            <td class="sssn right italic yellow">50</td>
           </tr>
         </tbody>
       </table>
@@ -343,40 +343,80 @@
             </td>
           </tr>
           <tr>
-            <td class="snns top capitalize italic yellow">relocation</td>
-            <td class="snns top italic yellow">ranged equivalence for closures</td>
-            <td class="snns top yellow">freq ( ⦃?,?,?⦄ ≡ ⦃?,?,?⦄ )</td>
-            <td class="snnn top yellow">freq_freq</td>
-            <td class="snnn top yellow">
+            <td class="snns top capitalize italic green">static typing</td>
+            <td class="snns top italic green">parameters</td>
+            <td class="snns top green">sh</td>
+            <td class="snnn top green">sd</td>
+            <td class="snnn top green">
               <br />
             </td>
-            <td class="ssnn top yellow">
+            <td class="ssnn top green">
               <br />
             </td>
           </tr>
           <tr>
-            <td class="nnns top capitalize italic yellow">
+            <td class="nnns top capitalize italic green">
               <br />
             </td>
-            <td class="snns top italic yellow">context-sensitive free variables</td>
-            <td class="snns top yellow">frees ( ? ⊢ 𝐅*⦃?⦄ ≡ ? )</td>
-            <td class="snnn top yellow">frees_weight frees_lreq frees_frees</td>
-            <td class="snnn top yellow">
+            <td class="snns top italic green">restricted ref. for local env.</td>
+            <td class="snns top green">lsubr ( ? ⫃ ? )</td>
+            <td class="snnn top green">lsubr_length lsubr_drops lsubr_lsubr</td>
+            <td class="snnn top green">
               <br />
             </td>
-            <td class="ssnn top yellow">
+            <td class="ssnn top green">
               <br />
             </td>
           </tr>
           <tr>
-            <td class="nnns top capitalize italic yellow">
+            <td class="nnns top capitalize italic green">
               <br />
             </td>
-            <td class="snns top italic yellow">generic slicing for local environments</td>
-            <td class="snns top yellow">drops_vector ( ⬇*[?,?] ? ≡ ? )</td>
-            <td class="snnn top yellow">
+            <td class="snns top italic green">ranged equivalence for closures</td>
+            <td class="snns top green">freq ( ⦃?,?,?⦄ ≡ ⦃?,?,?⦄ )</td>
+            <td class="snnn top green">freq_freq</td>
+            <td class="snnn top green">
               <br />
             </td>
+            <td class="ssnn top green">
+              <br />
+            </td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic green">
+              <br />
+            </td>
+            <td class="snns top italic green">context-sensitive free variables</td>
+            <td class="snns top green">frees ( ? ⊢ 𝐅*⦃?⦄ ≡ ? )</td>
+            <td class="snnn top green">frees_weight frees_lreq frees_frees</td>
+            <td class="snnn top green">
+              <br />
+            </td>
+            <td class="ssnn top green">
+              <br />
+            </td>
+          </tr>
+          <tr>
+            <td class="snns top capitalize italic grass">s-computation</td>
+            <td class="snns top italic grass" />
+            <td class="snns top grass">
+              <br />
+            </td>
+            <td class="snnn top grass">
+              <br />
+            </td>
+            <td class="snnn top grass">
+              <br />
+            </td>
+            <td class="ssnn top grass">
+              <br />
+            </td>
+          </tr>
+          <tr>
+            <td class="snns top capitalize italic yellow">s-transition</td>
+            <td class="snns top italic yellow">structural successor for closures</td>
+            <td class="snns top yellow">fquq ( ⦃?,?,?⦄ ⊐⸮ ⦃?,?,?⦄ )</td>
+            <td class="snnn top yellow">fquq_length fquq_weight</td>
             <td class="snnn top yellow">
               <br />
             </td>
@@ -391,8 +431,8 @@
             <td class="nnns top italic yellow">
               <br />
             </td>
-            <td class="snns top yellow">drops ( ⬇*[?,?] ? ≡ ? )</td>
-            <td class="snnn top yellow">drops_lstar drops_weight drops_length drops_ceq drops_lexs drops_lreq drops_drops</td>
+            <td class="snns top yellow">fqu ( ⦃?,?,?⦄ ⊐ ⦃?,?,?⦄ )</td>
+            <td class="snnn top yellow">fqu_length fqu_weight</td>
             <td class="snnn top yellow">
               <br />
             </td>
@@ -401,72 +441,86 @@
             </td>
           </tr>
           <tr>
-            <td class="nnns top capitalize italic yellow">
+            <td class="snns top capitalize italic orange">relocation</td>
+            <td class="snns top italic orange">generic slicing for local environments</td>
+            <td class="snns top orange">drops_vector ( ⬇*[?,?] ? ≡ ? )</td>
+            <td class="snnn top orange">
               <br />
             </td>
-            <td class="snns top italic yellow">generic relocation for terms</td>
-            <td class="snns top yellow">lifts_vector ( ⬆*[?] ? ≡ ? )</td>
-            <td class="snnn top yellow">lifts_lift_vector</td>
-            <td class="snnn top yellow">
+            <td class="snnn top orange">
               <br />
             </td>
-            <td class="ssnn top yellow">
+            <td class="ssnn top orange">
               <br />
             </td>
           </tr>
           <tr>
-            <td class="nnns top capitalize italic yellow">
+            <td class="nnns top capitalize italic orange">
               <br />
             </td>
-            <td class="nnns top italic yellow">
+            <td class="nnns top italic orange">
               <br />
             </td>
-            <td class="snns top yellow">lifts ( ⬆*[?] ? ≡ ? )</td>
-            <td class="snnn top yellow">lifts_simple lifts_weight lifts_lifts</td>
-            <td class="snnn top yellow">
+            <td class="snns top orange">drops ( ⬇*[?,?] ? ≡ ? )</td>
+            <td class="snnn top orange">drops_lstar drops_weight drops_length drops_ceq drops_lexs drops_lreq drops_drops</td>
+            <td class="snnn top orange">
               <br />
             </td>
-            <td class="ssnn top yellow">
+            <td class="ssnn top orange">
               <br />
             </td>
           </tr>
           <tr>
-            <td class="nnns top capitalize italic yellow">
+            <td class="nnns top capitalize italic orange">
               <br />
             </td>
-            <td class="snns top italic yellow">ranged equivalence for local environments</td>
-            <td class="snns top yellow">lreq ( ? ≡[?] ? )</td>
-            <td class="snnn top yellow">lreq_length lreq_lreq</td>
-            <td class="snnn top yellow">
+            <td class="snns top italic orange">generic relocation for terms</td>
+            <td class="snns top orange">lifts_vector ( ⬆*[?] ? ≡ ? )</td>
+            <td class="snnn top orange">lifts_lifts_vector</td>
+            <td class="snnn top orange">
               <br />
             </td>
-            <td class="ssnn top yellow">
+            <td class="ssnn top orange">
               <br />
             </td>
           </tr>
           <tr>
-            <td class="nnns top capitalize italic yellow">
+            <td class="nnns top capitalize italic orange">
               <br />
             </td>
-            <td class="snns top italic yellow">generic entrywise extension of context-sensitive relations for terma</td>
-            <td class="snns top yellow">lexs ( ? ⦻*[?,?,?] ? )</td>
-            <td class="snnn top yellow">lexs_length lexs_lexs</td>
-            <td class="snnn top yellow">
+            <td class="nnns top italic orange">
               <br />
             </td>
-            <td class="ssnn top yellow">
+            <td class="snns top orange">lifts ( ⬆*[?] ? ≡ ? )</td>
+            <td class="snnn top orange">lifts_simple lifts_weight lifts_lifts</td>
+            <td class="snnn top orange">
+              <br />
+            </td>
+            <td class="ssnn top orange">
               <br />
             </td>
           </tr>
           <tr>
-            <td class="snns top capitalize italic orange" />
-            <td class="snns top italic orange" />
-            <td class="snns top orange">
+            <td class="nnns top capitalize italic orange">
               <br />
             </td>
+            <td class="snns top italic orange">ranged equivalence for local environments</td>
+            <td class="snns top orange">lreq ( ? ≡[?] ? )</td>
+            <td class="snnn top orange">lreq_length lreq_lreq</td>
             <td class="snnn top orange">
               <br />
             </td>
+            <td class="ssnn top orange">
+              <br />
+            </td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic orange">
+              <br />
+            </td>
+            <td class="snns top italic orange">generic entrywise extension of context-sensitive relations for terma</td>
+            <td class="snns top orange">lexs ( ? ⦻*[?,?,?] ? )</td>
+            <td class="snnn top orange">lexs_length lexs_lexs</td>
             <td class="snnn top orange">
               <br />
             </td>
@@ -476,6 +530,20 @@
           </tr>
           <tr>
             <td class="snns top capitalize italic red">grammar</td>
+            <td class="snns top italic red">append for local environments</td>
+            <td class="snns top red">append ( ? @@ ? )</td>
+            <td class="snnn top red">append_length</td>
+            <td class="snnn top red">
+              <br />
+            </td>
+            <td class="ssnn top red">
+              <br />
+            </td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic red">
+              <br />
+            </td>
             <td class="snns top italic red">context-sensitive equivalences for terms</td>
             <td class="snns top red">ceq</td>
             <td class="snnn top red">ceq_ceq</td>
@@ -540,7 +608,9 @@
             <td class="snns top red">lenv</td>
             <td class="snnn top red">lenv_weight ( ♯{?} )</td>
             <td class="snnn top red">lenv_length ( |?| )</td>
-            <td class="ssnn top red">lenv_append ( ? @@ ? )</td>
+            <td class="ssnn top red">
+              <br />
+            </td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic red">
@@ -617,6 +687,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 27 Mar 2016 18:42:29 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 01 Apr 2016 23:30:53 +0200</div>
   </body>
 </html>