another update + rename Alb to Sqi

2024-12-05 14:47:29 +01:00
parent b82bcde9f1
commit ad3fa455b1
17 changed files with 3859 additions and 4812 deletions
@@ -0,0 +1,4 @@
+concrete AllSqi of AllSqiAbs =
+  LangSqi
+  **
+    {} ;