Slavomír Čéplö's fixes in Slovak

2020-04-30 12:07:21 +02:00
parent 8080b43965
commit f19fc9c3ed
3 changed files with 28 additions and 9 deletions
@@ -105,6 +105,8 @@ oper
    = \s -> lin A (R.rydziA s) ;
  otcovA : Str -> A
    = \s -> lin A (R.otcovA s) ;
+  paviA  : Str -> A
+    = \s -> lin A (R.paviA s) ;


  mkA2 : A -> Prep -> A2