- [ { "generic term relocation" * } {
- [ "lifts_vector ( ⇧*[?] ? ≡ ? )" "lifts_lift_vector" * ]
- [ "lifts ( ⇧*[?] ? ≡ ? )" "lifts_lift" + "lifts_lifts" * ]
- }
- ]
- [ { "support for generic relocation" * } {
- [ "gr2 ( @⦃?,?⦄ ≡ ? )" "gr2_plus ( ? + ? )" "gr2_minus ( ? ▭ ? ≡ ? )" "gr2_gr2" * ]
- }
- ]
- }
- ]
- class "orange"
- [ { "relocation" * } {
- [ { "structural successor for closures" * } {
- [ "fqu ( ⦃?,?,?⦄ ⊃ ⦃?,?,?⦄ )" "fquq ( ⦃?,?,?⦄ ⊃⸮ ⦃?,?,?⦄ )" "fquq_alt ( ⦃?,?,?⦄ ⊃⊃⸮ ⦃?,?,?⦄ )" * ]
- }
- ]
- [ { "lazy equivalence for closures" * } {
- [ "fleq ( ⦃?,?,?⦄ ⋕ ⦃?,?,?⦄ )" "fleq_fleq" * ]
- }
- ]
- [ { "lazy equivalence for local environments" * } {
- [ "lleq ( ? ⋕[?] ? )" "lleq_fleq" * ]
- }
- ]
- [ { "global env. slicing" * } {
- [ "gdrop ( ⇩[?] ? ≡ ? )" "gdrop_gdrop" * ]
- }
- ]
- [ { "basic local env. slicing" * } {
- [ "ldrop ( ⇩[?,?] ? ≡ ? )" "ldrop_append" + "ldrop_lpx_sn" + "ldrop_ldrop" * ]
- }
- ]
- [ { "basic term relocation" * } {
- [ "lift_vector ( ⇧[?,?] ? ≡ ? )" "lift_lift_vector" * ]
- [ "lift ( ⇧[?,?] ? ≡ ? )" "lift_lift" * ]
- }
- ]
- }
- ]
- class "red"
- [ { "grammar" * } {
- [ { "pointwise extension of a relation" * } {
- [ "lpx_sn" "lpx_sn_tc" + "lpx_sn_lpx_sn" * ]
- }
- ]
- [ { "same top term constructor" * } {
- [ "tstc ( ? ≃ ? )" "tstc_tstc" + "tstc_vector" * ]
- }
- ]
- [ { "closures" * } {
- [ "cl_shift ( ? @@ ? )" "cl_weight ( ♯{?,?,?} )" * ]
- }
- ]
- [ { "internal syntax" * } {
- [ "genv" * ]
- [ "lenv" "lenv_weight ( ♯{?} )" "lenv_length ( |?| )" "lenv_append ( ? @@ ? )" * ]
- [ "term" "term_weight ( ♯{?} )" "term_simple ( 𝐒⦃?⦄ )" "term_vector" * ]
- [ "item" * ]
- }
- ]
- [ { "external syntax" * } {
- [ "aarity" * ]
- }
- ]
- }
- ]
-}
-
-class "component" { 0 }
-
-class "plane" { 1 }
-
-class "file" { 2 * }