helm/www/lambda_delta/web/home/ld_basic_2.tbl

   1 name "ld_basic_2_src"
   2
   3 table {
   4    class "grey"
   5    [ { "component" * } {
   6         [ { "plane" * } {
   7              [ "files" * ]
   8           }
   9         ]
  10      }
  11    ]
  12    class "blue"
  13    [ { "examples" * } {
  14          [ { "" * } {
  15               [ "" * ]
  16            }
  17          ]
  18       }
  19    ]
  20    class "sky"
  21    [ { "native typing" * } {
  22          [ { "" * } {
  23               [ "nty" * ]
  24            }
  25          ]
  26       }
  27    ]
  28    class "cyan"
  29    [ { "conversion" * } {
  30          [ { "context-sensitive conversion" * } {
  31               [ "cpcs" * ]
  32            }
  33          ]
  34       }
  35    ]
  36    class "water"
  37    [ { "computation" * } {
  38          [ { "strongly normalizing computation" * } {
  39               [ "csn" * ]
  40            }
  41          ]
  42          [ { "context-sensitive computation" * } {
  43               [ "cprs" * ]
  44            }
  45          ]
  46       }
  47    ]
  48    class "green"
  49    [ { "reducibility" * } {
  50          [ { "context-sensitive reduction" * } {
  51               [ "lcpr" * ]
  52               [ "cpr" "cpr_lift" "cpr_ltpr" "cpr_cpr" * ]
  53            }
  54          ]
  55          [ { "context-free normal forms" * } {
  56               [ "tnf" * ]
  57            }
  58          ]
  59          [ { "context-free reduction" * } {
  60               [ "ltpr" "ltpr_ldrop" * ]
  61               [ "tpr"  "tpr_lift" "tpr_tpss" "tpr_tpr" * ]
  62            }
  63          ]
  64          [ { "context-free reducible forms" * } {
  65               [ "trf" * ]
  66            }
  67          ]
  68       }
  69    ]
  70    class "grass"
  71    [ { "static typing" * } {
  72          [ { "atomic arity ass." * } {
  73               [ "aaa" "aaa_lift" "aaa_aaa" * ]
  74            }
  75          ]
  76          [ { "static type ass." * } {
  77               [ "sty" "sty_lift" "sty_sty" * ]
  78            }
  79          ]
  80       }
  81    ]
  82    class "yellow"
  83    [ { "unfold" * } {
  84         [ { "telescopic substitution" * } {
  85              [ "tsubst" * ]
  86           }
  87         ]
  88         [ { "partial unfold" * } {
  89              [ "ltpss" "ltpss_ldrop" "ltpss_tps" "ltpss_ltpss" * ]
  90              [ "tpss" "tpss_lift" "tpss_tpss" "tpss_ltps" * ]
  91           }
  92         ]
  93      }
  94    ]
  95    class "orange"
  96    [ { "substitution" * } {
  97         [ { "parallel substitution" * } {
  98              [ "ltps" "ltps_ldrop" "ltps_tps" "ltps_ltps" * ]
  99              [ "tps" "tps_lift" "tps_tps" * ]
 100           }
 101         ]
 102         [ { "local env. dropping" * } {
 103              [ "ldrop" "ldrop_ldrop" * ]
 104           }
 105         ]
 106         [ { "term relocation" * } {
 107              [ "lift" "lift_lift" * ]
 108           }
 109         ]
 110      }
 111    ]
 112    class "red"
 113    [ { "grammar" * } {
 114         [ { "local env. ref. for substitution" * } {
 115              [ "lsubs" "lsubs_lsubs" * ]
 116           }
 117         ]
 118         [ { "term hom." * } {
 119              [ "thom" "thom_thom" * ]
 120           }
 121         ]
 122         [ { "closures" * } {
 123              [ "cl_shift" "cl_weight" * ]
 124           }
 125         ]
 126         [ { "internal syntax" * } {
 127              [ "lenv" "lenv_weight" "lenv_length" * ]
 128              [ "term" "term_weight" "term_simple" * ]
 129              [ "item" * ]
 130           }
 131         ]
 132         [ { "external syntax" * } {
 133              [ "aarity" * ]
 134           }
 135         ]
 136         [ { "parameters" * } {
 137              [ "sh" * ]
 138           }
 139         ]
 140      }
 141    ]
 142 }
 143
 144 class "component" { 0 }
 145
 146 class "plane" { 1 }
 147
 148 class "file" { 2 * }