(Swa) Move old Swahili files to src/swahili/old

2026-07-02 12:08:34 -06:00 · 2020-06-05 21:18:43 +02:00
parent fd31f9f6e6
commit ee9b5354e7
29 changed files with 0 additions and 0 deletions
@@ -1,11 +0,0 @@
-concrete AdjectiveSwa of Adjective = CatSwa ** open ResSwa, Prelude , ParamX  in {
-
-  lin
-
-    PositA  a = {
-       s = a.s ! Posit  ;
-       } ;
-
-    -- PositA a = a;
-
-}