mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
14 lines
393 B
Plaintext
14 lines
393 B
Plaintext
--# -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")) ;
|
|
}
|