completed IdiomCat to compile api and math

2026-09-23 10:46:05 -06:00 · 2008-09-09 16:11:05 +00:00
parent b207154053
commit 83978e34e8
6 changed files with 66 additions and 1 deletions
@@ -0,0 +1,4 @@
+concrete PredicationCat of Predication = CatCat ** PredicationI with
+  (Syntax = SyntaxCat),
+  (Lang = LangCat) ;
+