gf-book/examples/chapter8/GeometryEng.gf


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

--# -path=.:present

concrete GeometryEng of Geometry = LogicEng ** 
  open SyntaxEng, ParadigmsEng in {
lin
  Line = mkCN (mkN "line") ;
  Point = mkCN (mkN "point") ; 
  Circle = mkCN (mkN "circle") ;
  Intersect = pred (mkV2 "intersect") ;
  Parallel = pred (mkA2 (mkA "parallel") (mkPrep "to")) ;
  Vertical = pred (mkA "vertical") ;
  Centre = app (mkN2 (mkN "centre") (mkPrep "of")) ;
}