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