doc/tutorial/music/Music.gf


1
2
3
4
5
6
7
8
9
10
11
12

  abstract Music = {

    flags startcat=Kind ;

    cat 
      Kind ;
      Property ;
    fun 
      PropKind : Kind -> Property -> Kind ; 
      Song : Kind ;
      American : Property ;
}