1
0
forked from GitHub/gf-core

ExtFoods for book

This commit is contained in:
aarne
2007-09-06 11:34:53 +00:00
parent eb173e4529
commit cd9dac84c2
13 changed files with 150 additions and 5 deletions

View File

@@ -1249,6 +1249,8 @@ incomplete resource Constructors = open Grammar in {
= \i -> IDetCN i NoNum ;
mkIP : IDet -> Num -> CN -> IP -- which five best songs
= \i,n -> IDetCN i n NoOrd ;
mkIP : IDet -> CN -> IP -- which best songs
= \i -> IDetCN i NoNum NoOrd ;
mkIP : IDet -> N -> IP -- which song
= \i,n -> IDetCN i NoNum NoOrd (UseN n) ;
mkIP : IP -> Adv -> IP -- who in Europe