more paradigms for Cze N and A

2020-04-04 12:56:49 +02:00
parent e57e916349
commit 0da96d0fce
5 changed files with 10 additions and 1 deletions
@@ -2,6 +2,8 @@

 concrete SymbolCze of Symbol = CatCze ** open Prelude, ResCze in {

+lincat
+  Symb = {s : Str} ;
 lin
  MkSymb s = s ;
  SymbPN s = lin PN {s = \\_ => s.s ; g = Neutr} ;