reimplemented Combinators with Constructors in next-resource

2026-07-03 12:38:33 -06:00 · 2008-09-13 10:18:52 +00:00
parent defc63935a
commit e83a3a76f1
18 changed files with 119 additions and 70 deletions
@@ -1,3 +1,6 @@
 --# -path=.:alltenses:prelude

-resource CombinatorsHin = Combinators with (Grammar = GrammarHin) ;
+resource CombinatorsHin = Combinators with 
+  (Cat = CatHin),
+  (Structural = StructuralHin),
+  (Constructors = ConstructorsHin) ;