an addition to basic_2

[helm.git] / helm / www / lambda_delta / web / home / basic_2_src.tbl

diff --git a/helm/www/lambda_delta/web/home/basic_2_src.tbl b/helm/www/lambda_delta/web/home/basic_2_src.tbl
index d827e6f9a7f6cc1284d5e5c49eae169d4f03ae01..82451e82f4899dabd6c155328507da2c25422c36 100644 (file)
--- a/helm/www/lambda_delta/web/home/basic_2_src.tbl
+++ b/helm/www/lambda_delta/web/home/basic_2_src.tbl
@@ -118,7 +118,7 @@ table {
    class "grass"
    [ { "static typing" * } {
         [ { "static type assignment" * } {
-            [ "sta ( ⦃?,?⦄ ⊢ ? • ? )" "sta_lift" "sta_sta" * ]
+            [ "sta ( ⦃?,?⦄ ⊢ ? • ? )" "sta_lift" "sta_ltpss" "sta_sta" * ]
           }
        ]
         [ { "local env. ref. for atomic arity assignment" * } {