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 |
|
@@ -993,7 +994,7 @@
iterated local env. slicing |
- drops ( â©*[?,?] ? â¡ ? ) |
+ drops ( â¬*[?,?] ? â¡ ? ) |
drops_drop drops_drops |
@@ -1007,7 +1008,7 @@
|
generic term relocation |
- lifts_vector ( â§*[?] ? â¡ ? ) |
+ lifts_vector ( â¬*[?] ? â¡ ? ) |
lifts_lift_vector |
@@ -1023,7 +1024,7 @@
|
|
- lifts ( â§*[?] ? â¡ ? ) |
+ lifts ( â¬*[?] ? â¡ ? ) |
lifts_lift lifts_lifts |
@@ -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 |
substitution |
@@ -1077,7 +1078,7 @@
global env. slicing |
- gget ( â©[?] ? â¡ ? ) |
+ gget ( â¬[?] ? â¡ ? ) |
gget_gget |
@@ -1133,7 +1134,7 @@
|
basic local env. slicing |
- drop ( â©[?,?,?] ? â¡ ? ) |
+ drop ( â¬[?,?,?] ? â¡ ? ) |
drop_append drop_leq drop_drop |
@@ -1147,7 +1148,7 @@
|
basic term relocation |
- lift_vector ( â§[?,?] ? â¡ ? ) |
+ lift_vector ( â¬[?,?] ? â¡ ? ) |
lift_lift_vector |
@@ -1163,7 +1164,7 @@
|
|
- lift ( â§[?,?] ? â¡ ? ) |
+ lift ( â¬[?,?] ? â¡ ? ) |
lift_neq lift_lift |
@@ -1188,9 +1189,9 @@
|
|
- same top term constructor |
- tstc ( ? â ? ) |
- tstc_tstc tstc_vector |
+ same top term structure |
+ tsts ( ? â ? ) |
+ tsts_tsts tsts_vector |
|
@@ -1320,6 +1321,6 @@
- Last update: Thu, 07 Aug 2014 19:13:43 +0200
+ Last update: Mon, 15 Sep 2014 16:17:55 +0200