examples/tutorial/embedded/Math.gf


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

abstract Math = {

  cat Answer ; Question ; Object ;

  fun 
    Even   : Object -> Question ;
    Odd    : Object -> Question ;
    Prime  : Object -> Question ;
    Number : Int -> Object ;

    Yes : Answer ;
    No  : Answer ;

}