examples |
terms with special features |
- ex_cpr_omega |
+ ex_sta_ldec ex_cpr_omega |
|
@@ -278,7 +289,9 @@
stratified native validity |
shnv ( �,?⦠⢠? ¡[?,?,?] ) |
- shnv_aaa |
+
+
+ |
|
@@ -416,7 +429,7 @@
csx_vector ( â¦?,?⦠⢠â¬*[?,?] ? ) |
- csx_tstc_vector csx_aaa |
+ csx_tsts_vector csx_aaa |
|
@@ -534,7 +547,7 @@
cpxs ( â¦?,?⦠⢠? â¡*[?,?] ? ) |
- cpxs_tstc cpxs_tstc_vector cpxs_leq cpxs_lift cpxs_lleq cpxs_aaa cpxs_cpxs |
+ cpxs_tsts cpxs_tsts_vector cpxs_leq cpxs_lift cpxs_lleq cpxs_aaa cpxs_cpxs |
|
@@ -576,7 +589,7 @@
|
- local env. ref. for abstract candidates of reducibility |
+ local env. ref. for generic reducibility |
lsubc ( ? ⢠? â«[?] ? ) |
lsubc_drop lsubc_drops lsubc_lsuba |
@@ -590,10 +603,10 @@
|
|
- support for abstract computation properties |
- acp |
- acp_cr ( â¦?,?,?⦠ϵ[?] ã?ã ) |
- acp_aaa |
+ support for generic computation properties |
+ gcp |
+ gcp_cr ( â¦?,?,?⦠ϵ[?] ã?ã ) |
+ gcp_aaa |
|
@@ -774,8 +787,10 @@
iterated static type assignment |
lstas ( â¦?,?⦠⢠? â¢*[?,?] ? ) |
- lstas_alt ( â¦?,?⦠⢠? â¢â¢*[?,?] ? ) |
- lstas_lift lstas_aaa lstas_da lstas_lstas |
+ lstas_lift lstas_llpx_sn.ma lstas_aaa lstas_da lstas_lstas |
+
+
+ |
|
@@ -798,21 +813,7 @@
degree assignment |
da ( â¦?,?⦠⢠? âª[?,?] ? ) |
- da_lift da_aaa da_sta da_da |
-
-
- |
-
-
- |
-
-
-
-
- |
- static type assignment |
- sta ( â¦?,?⦠⢠? â¢[?] ? ) |
- sta_lift sta_lpx_sn sta_aaa sta_sta |
+ da_lift da_aaa da_da |
|
@@ -1036,11 +1037,11 @@
|
- support for generic relocation |
- gr2 ( @�,?⦠⡠? ) |
- gr2_plus ( ? + ? ) |
- gr2_minus ( ? â ? â¡ ? ) |
- gr2_gr2 |
+ support for multiple relocation |
+ mr2 ( @�,?⦠⡠? ) |
+ mr2_plus ( ? + ? ) |
+ mr2_minus ( ? â ? â¡ ? ) |
+ mr2_mr2 |