1
0
forked from GitHub/gf-core

just_because_Subj with Swedish variant bafatt: an example of the agility of our translator

This commit is contained in:
aarne
2015-12-07 12:10:09 +00:00
parent 96c1a520f2
commit ed43431da0
5 changed files with 5 additions and 0 deletions

View File

@@ -51,6 +51,7 @@ oper
mkWAdv : (_ : Adv) -> Adv = \a -> a ;
mkWAdv : NForms -> Adv = \nf -> mkAdv (nf ! 0) ;
mkWAdv : Adv -> Str -> Adv = \a,s -> mkAdv (s ++ a.s) ;
mkWAdv : Str -> Adv -> Adv = \s,a -> mkAdv (s ++ a.s) ;
mkWAdv : (_,_ : Str) -> Adv = \s,p -> mkAdv (s ++ p) ;
mkWAdv : (_,_,_ : Str) -> Adv = \s,p,q -> mkAdv (s ++ p ++ q) ;
} ;