examples/mathtext/Geometry.gf


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

abstract Geometry = Logic ** {
fun
  Line, Point, Circle : Dom ;
  Intersect, Parallel : Ind -> Ind -> Atom ;
  Vertical : Ind -> Atom ;
  Centre : Ind -> Ind ;

  Horizontal : Pred1 ;
  Diverge : Pred1 ;

  Contain : Pred2 ;
}