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

preliminary Italian in Attempto

Browse Source
This commit is contained in:
aarne
2009-03-10 17:31:18 +00:00
parent 85d9c76b5c
commit 84a1d54e82
8 changed files with 136 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
next-lib/src/api/Constructors.gf
View File

@@ -1369,12 +1369,12 @@ incomplete resource Constructors = open Grammar in {
= AdvIP --# notminimal
} ;
mkIDet = overload { --# notminimal
mkIDet = overload {
mkIDet : IQuant -> Num -> IDet -- which (songs) --# notminimal
= \i,nu -> IdetQuant i nu ; --# notminimal
mkIDet : IQuant -> IDet -- which (song) --# notminimal
= \i -> IdetQuant i NumSg ; --# notminimal
} ; --# notminimal
mkIDet : IQuant -> IDet
= \i -> IdetQuant i NumSg ;
} ;
whichSg_IDet : IDet = IdetQuant which_IQuant NumSg ; --# notminimal
whichPl_IDet : IDet = IdetQuant which_IQuant NumPl ; --# notminimal