examples/regulus/toy0/no-functor/Toy0Fin.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

--# -path=.:present:prelude

concrete Toy0Fin of Toy0 = open SyntaxFin, ParadigmsFin in {

lincat
  Spec = Det ;
  Noun = N ;
  NP   = Utt ;
lin
  SpecNoun spec noun = mkUtt (SyntaxFin.mkNP spec noun) ;

  One = mkDet one_Quant ;
  Two = mkDet (mkNum n2_Numeral) ;
  Felis = mkN "kissa" ;
  Canis = mkN "koira" ;
}