mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-10-26 09:43:19 -06:00
just_because_Subj with Swedish variant bafatt: an example of the agility of our translator
This commit is contained in:
1 parent
3f3ddc7ddb
commit
d0d47f0e4e
5 files changed
+5
No files matched your search
@@ -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) ;
|
||||
} ;
|
||||
|
||||
Reference in new issue
Block a user