examples/mathtext/GeometryEng.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

--# -path=alltenses

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")) ;

  Horizontal = mkVP (mkA "horizontal") ;
  Diverge = mkVP (mkV "diverge") ;

  Contain = mkVPSlash (mkV2 "contain") ;
}