GitHub/gf-rgl
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-10-25 17:23:18 -06:00
Code Issues Packages Projects Releases Wiki Activity

more fixes for the lock_ fields

Browse Source
This commit is contained in:
krasimir committed 2009-09-13 21:18:43 +00:00
1 parent a1937af69f
commit a47ea22b35
3 files changed
+4 -4
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

src/api/Constructors.gf
+1 -1
View File
@@ -1088,7 +1088,7 @@ incomplete resource Constructors = open Grammar in {
= DetQuantOrd ; --# notminimal
mkDet : Quant -> Num -> Det -- these five man
= DetQuant ;
mkDet : Num -> Det -- forty-five men
mkDet : Card -> Det -- forty-five men
= DetArtCard IndefArt ;
mkDet : Digits -> Det -- 51 (men) --# notminimal
= \d -> DetArtCard IndefArt (NumDigits d) ; --# notminimal