helm/www/lambda_delta/xslt/ld_basic_2_blk.xsl

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <!-- This file was generated by xhtbl.native, do not edit -->
   4
   5 <xsl:stylesheet version="1.0"
   6                 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
   7                 xmlns="http://www.w3.org/1999/xhtml"
   8 >
   9
  10 <xsl:template name="ld_basic_2_blk">
  11   <table cellpadding="4" cellspacing="0">
  12     <tbody>
  13       <tr>
  14         <td class="snns text grey">domain</td>
  15         <td class="snns plane grey">block</td>
  16         <td class="snns text grey">leader</td>
  17         <td class="snns text grey">applicator (with →θ)*</td>
  18         <td class="snns text grey">reduction</td>
  19         <td class="snns text grey">→ζ *</td>
  20         <td class="ssns text grey">reference *</td>
  21       </tr>
  22       <tr>
  23         <td class="snns text">{X | Γ ⊢ X : W}</td>
  24         <td class="snns plane wine">typed abstraction **</td>
  25         <td class="snns text wine">Γ ⊢ λW</td>
  26         <td class="snns text wine">ⓐV</td>
  27         <td class="snns text wine">→β</td>
  28         <td class="snns text wine">no</td>
  29         <td class="ssns text wine">#i</td>
  30       </tr>
  31       <tr>
  32         <td class="nnns text"><br/></td>
  33         <td class="snns plane magenta">typed declaration ***</td>
  34         <td class="snns text magenta">Γ ⊢ pλW</td>
  35         <td class="snns text magenta">no</td>
  36         <td class="snns text magenta">no</td>
  37         <td class="snns text magenta">no</td>
  38         <td class="ssns text magenta">$p</td>
  39       </tr>
  40       <tr>
  41         <td class="nnns text"><br/></td>
  42         <td class="snns plane prune">native type annotation *</td>
  43         <td class="snns text prune">Γ ⊢ ⓣW</td>
  44         <td class="snns text prune">no</td>
  45         <td class="snns text prune">no</td>
  46         <td class="snns text prune">yes</td>
  47         <td class="ssns text prune">no</td>
  48       </tr>
  49       <tr>
  50         <td class="snns text">{X | Γ ⊢ X = V}</td>
  51         <td class="snns plane blue">local abbreviation **</td>
  52         <td class="snns text blue">Γ ⊢ δV</td>
  53         <td class="snns text blue">no</td>
  54         <td class="snns text blue">local →δ</td>
  55         <td class="snns text blue">yes</td>
  56         <td class="ssns text blue">#i</td>
  57       </tr>
  58       <tr>
  59         <td class="nnns text"><br/></td>
  60         <td class="snns plane sky">global abbreviation ***</td>
  61         <td class="snns text sky">Γ ⊢ pδV</td>
  62         <td class="snns text sky">no</td>
  63         <td class="snns text sky">global →δ</td>
  64         <td class="snns text sky">no</td>
  65         <td class="ssns text sky">$p</td>
  66       </tr>
  67       <tr>
  68         <td class="snss text">no</td>
  69         <td class="snss plane cyan">sort ****</td>
  70         <td class="snss text cyan">Γ ⊢ ⋆k</td>
  71         <td class="snss text cyan">no</td>
  72         <td class="snss text cyan">no</td>
  73         <td class="snss text cyan">no</td>
  74         <td class="ssss text cyan">no</td>
  75       </tr>
  76     </tbody>
  77   </table>
  78 </xsl:template>
  79
  80 </xsl:stylesheet>