add API modules for Polish

2009-10-23 15:34:09 +00:00
parent 8ce4498970
commit 266b412a4b
7 changed files with 80 additions and 0 deletions
@@ -0,0 +1,5 @@
+--# -path=.:alltenses:prelude
+
+instance SyntaxPol of Syntax = 
+  ConstructorsPol, CatPol, StructuralPol, CombinatorsPol ;
+