examples/lrec-tutorial/face/Face.gf


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

abstract Face = {

flags startcat = Message ;

cat
  Message ; Person ; Object ; Number ;
fun
  Have : Person -> Number -> Object -> Message ;
  Like : Person -> Object -> Message ;
  You : Person ;
  Friend, Invitation : Object ;
  One, Two, Hundred : Number ;

}