GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-28 01:18:57 -06:00
Code Issues Packages Projects Releases Wiki Activity

(Hun) Add more paradigms for A

Browse Source
This commit is contained in:
Inari Listenmaa
2020-04-22 19:48:30 +02:00
parent 3078661665
commit 04bdbfbcd6
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/hungarian/ParadigmsHun.gf
View File

@@ -33,7 +33,8 @@ oper
--2 Adjectives --2 Adjectives
mkA : overload { mkA : overload {
mkA : (adj : Str) -> A ; -- Regular adjective, given in ??? form mkA : (sgnom : Str) -> A ; -- Regular adjective, given in singular nominative
mkA : (sgnom, sgacc : Str) -> A ; -- Singular nominative and accusative
-- mkA : (kiga : Str) -> (jakda : A) -> A ; -- Compound adjective, e.g. 키가 작다 'short', literally 'height (is) small'. 키가 'height' given as string, 작다 'small' given as preconstructed A. -- mkA : (kiga : Str) -> (jakda : A) -> A ; -- Compound adjective, e.g. 키가 작다 'short', literally 'height (is) small'. 키가 'height' given as string, 작다 'small' given as preconstructed A.
} ; } ;
@@ -149,7 +150,8 @@ oper
} ; } ;
mkA = overload { mkA = overload {
mkA : (adj : Str) -> A = \s -> lin A (mkAdj s) ; mkA : (sgnom : Str) -> A = \s -> lin A (mkAdj s) ;
mkA : (sgnom,sgacc : Str) -> A = \s,_ -> lin A (mkAdj s) ; -- TODO
-- mkA : (kiga : Str) -> (jakda : A) -> A = \kiga,jakda -> -- mkA : (kiga : Str) -> (jakda : A) -> A = \kiga,jakda ->
-- jakda ** {s = \\af => kiga ++ jakda.s ! af} ; -- jakda ** {s = \\af => kiga ++ jakda.s ! af} ;
} ; } ;