[ { "finite relocation with pairs" * } {
[ "fr2_nat ( @❨?,?❩ ≘ ? )" "fr2_nat_nat" * ]
[ "fr2_minus ( ? ▭ ? ≘ ? )" * ]
- [ "fr2_append ( ?;;? )" * ]
+ [ "fr2_append ( ?●? )" * ]
[ "fr2_plus ( ?+? )" * ]
- [ "fr2_map ( 𝐞 ) ( ❨?,?❩;? )" * ]
+ [ "fr2_map ( 𝐞 ) ( ❨?,?❩◗? )" * ]
}
]
[ { "total relocation" * } {
- [ "tr_uni ( 𝐮❨?❩ )" * ]
- [ "tr_id ( 𝐢 ) " * ]
- [ "tr_compose ( ?∘? )" "tr_compose_pn" * ]
- [ "tr_pap ( ?@❨?❩ )" "tr_pap_eq" "tr_pap_pat" "tr_pap_pn" "tr_pap_pap" * ]
- [ "tr_pn ( ⫯? ) ( ↑? )" "tr_pn_hdtl" "tr_pn_tls" * ]
+ [ "tr_uni ( 𝐮❨?❩ )" "tr_uni_pap" "tr_uni_compose" * ]
+ [ "tr_id ( 𝐢 ) " "tr_id_pushs" "tr_id_pap" "tr_id_compose" * ]
+ [ "tr_compose ( ?∘? )" "tr_compose_eq" "tr_compose_tls" "tr_compose_pn" "tr_compose_pap" "tr_compose_compose" * ]
+ [ "tr_pap ( ?@❨?❩ )" "tr_pap_eq" "tr_pap_tls" "tr_pap_pat" "tr_pap_pn" "tr_pap_pushs" "tr_pap_pap" * ]
+ [ "tr_pushs ( ⫯*[?]? )" * ]
+ [ "tr_pn ( ⫯? ) ( ↑? )" "tr_pn_eq" "tr_pn_hdtl" "tr_pn_tls" * ]
[ "tr_map ( 𝐭❨?❩ )" "tr_eq" "tr_nexts" "tr_pat" "tr_ist" * ]
}
]
[ "pr_nexts ( ↑*[?]? )" "pr_nexts_eq" * ]
[ "pr_pushs ( ⫯*[?]? )" "pr_pushs_eq" * ]
[ "pr_tl ( ⫰? )" "pr_tl_eq" "pr_tl_eq_eq" * ]
- [ "pr_eq ( ? â\89¡ ? )" * ]
+ [ "pr_eq ( ? â\89\90 ? )" * ]
[ "pr_map ( ⫯? ) ( ↑? )" * ]
}
]
[ "nat_max ( ?∨? )" * ]
[ "nat_minus ( ?-? )" "nat_minus_plus" * ]
[ "nat_plus ( ?+? )" "nat_plus_pred" "nat_plus_rplus" * ]
- [ "nat_rplus ( ?+? )" "nat_rplus_succ" * ]
+ [ "nat_rplus ( ?+? )" "nat_rplus_pplus" "nat_rplus_succ" * ]
[ "nat_pred ( ↓? )" "nat_pred_succ" * ]
[ "nat_succ ( ↑? )" "nat_succ_iter" "nat_succ_tri" * ]
[ "nat ( 𝟎 )" "nat_iter ( ?^{?}? )" *"nat_tri" ]
class "yellow"
[ { "extensions to the library" * } {
[ { "streams" * } {
- [ "stream_tls ( ⇂*{?}[?]? )" "stream_tls_eq" * ]
- [ "stream_hdtl ( ⇃{?}? ) ( ⇂{?}? )" * ]
+ [ "stream_tls ( ⇂*{?}[?]? )" "stream_tls_eq" "stream_tls_plus" * ]
+ [ "stream_hdtl ( ⇃{?}? ) ( ⇂{?}? )" "stream_hdtl_eq" * ]
[ "stream_eq ( ? ≗{?} ? )" "stream_eq_eq" * ]
[ "stream ( ? ⨮{?} ? )" * ]
}
[ { "" * } {
[ "bool ( Ⓕ ) ( Ⓣ )" "bool_or" "bool_and" * ]
[ "ltc" "ltc_ctc" * ]
- [ "logic ( â\8a¥ ) ( â\8a¤ )" "relations ( ? â\8a\86 ? )" "functions" "exteq ( ? â\89\90{?,?} ? )" "star" "lstar_2a" * ]
+ [ "logic ( â\8a¥ ) ( â\8a¤ )" "relations ( ? â\8a\86 ? )" "functions" "exteq ( ? â\8a\9c{?,?} ? )" "star" "lstar_2a" * ]
}
]
}