gf-book/examples/chapter8/GeometryEngb.gf


1
2
3
4
5
6
7
8
9
10
11

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