]
(*
class "wine"
- [ { "examples" * } {
- [ { "terms with special features" * } {
- [ "ex_sta_ldec" + "ex_cpr_omega" + "ex_fpbg_refl" + "ex_snv_eta" * ]
- }
- ]
- }
- ]
- class "magenta"
[ { "" * } {
[ { "" * } {
[ "" * ]
}
]
*)
- class "prune"
+ class "magenta"
[ { "dynamic typing" * } {
(*
[ { "local env. ref. for native type assignment" * } {
]
}
]
- class "blue"
+ class "prune"
[ { "equivalence" * } {
[ { "decomposed rt-equivalence" * } {
[ "scpes ( ⦃?,?⦄ ⊢ ? •*⬌*[?,?,?,?] ? )" "scpes_aaa" + "scpes_cpcs" + "scpes_scpes" * ]
]
}
]
- class "sky"
+ class "blue"
[ { "conversion" * } {
[ { "context-sensitive conversion" * } {
[ "cpc ( ⦃?,?⦄ ⊢ ? ⬌ ? )" "cpc_cpc" * ]
}
]
*)
- class "cyan"
+ class "sky"
[ { "rt-computation" * } {
(*
[ { "evaluation for context-sensitive rt-reduction" * } {
[ "lpxs ( ⦃?,?⦄ ⊢ ➡*[?,?] ? )" "lpxs_drop" + "lpxs_lleq" + "lpxs_aaa" + "lpxs_cpxs" + "lpxs_lpxs" * ]
[ "cpxs_tsts" + "cpxs_tsts_vector" + "cpxs_lreq" + "cpxs_lift" + "cpxs_lleq" + "cpxs_aaa" + "cpxs_cpxs" * ]
*)
+ [ "csx_vector ( ⦃?,?⦄ ⊢ ⬈*[?,?] 𝐒⦃?⦄ )" * ]
[ "csx ( ⦃?,?⦄ ⊢ ⬈*[?,?] 𝐒⦃?⦄ )" "csx_cnx" + "csx_cpxs" + "csx_csx" * ]
+ [ "lfpxs ( ⦃?,?⦄ ⊢ ⬈*[?,?] ? )" "lfpxs_length" + "lfpxs_fqup" * ]
[ "cpxs ( ⦃?,?⦄ ⊢ ? ⬈*[?] ? )" "cpxs_tdeq" + "cpxs_cpxs" * ]
}
]
}
]
- class "water"
+ class "cyan"
[ { "rt-transition" * } {
[ { "parallel qrst-transition" * } {
(* [ "fpbq ( ⦃?,?,?⦄ ≽[?,?] ⦃?,?,?⦄ )" "fpbq_alt ( ⦃?,?,?⦄ ≽≽[?,?] ⦃?,?,?⦄ )" + "fpbq_aaa" * ] *)
]
}
]
+ class "water"
+ [ { "iterated static typing" * } {
+ [ { "generic extension on referred entries" * } {
+ [ "lfxss ( ? ⦻**[?,?] ? )" * ]
+ }
+ ]
+ }
+ ]
class "green"
[ { "static typing" * } {
[ { "generic reducibility" * } {