mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 13:09:33 -06:00
17 lines
302 B
Plaintext
17 lines
302 B
Plaintext
incomplete concrete MathI of Math =
|
|
open Grammar, Combinators, Predication, Lex in {
|
|
|
|
flags startcat = Prop ;
|
|
|
|
lincat
|
|
Prop = S ;
|
|
Elem = NP ;
|
|
|
|
lin
|
|
And x y = coord and_Conj x y ;
|
|
Even x = PosCl (pred even_A x) ;
|
|
Odd x = PosCl (pred odd_A x) ;
|
|
Zero = UsePN zero_PN ;
|
|
|
|
}
|