completed IdiomCat to compile api and math

2026-07-05 21:32:45 -06:00 · 2008-09-09 16:11:05 +00:00
parent fa02871525
commit 3da1d10eb9
7 changed files with 68 additions and 3 deletions
@@ -0,0 +1,4 @@
+concrete PredicationCat of Predication = CatCat ** PredicationI with
+  (Syntax = SyntaxCat),
+  (Lang = LangCat) ;
+