Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit 138ac7ea authored by Michael Kohlhase's avatar Michael Kohlhase

more grammar

parent e07ad4af
......@@ -7,8 +7,8 @@
abstract Math =
Grammar,
Lexicon,
MathLex
Lexicon
,MathLex
,Construction --- could be compiled here, but not in concretes, as they call Syntax and Grammar
,Documentation --# notpresent
,Markup - [stringMark]
......
......@@ -3,6 +3,7 @@
concrete MathEng of Math =
GrammarEng,
LexiconEng
,MathLexEng
,ConstructionEng
,DocumentationEng --# notpresent
,MarkupEng - [stringMark]
......
abstract MathLex = Cat ** {
fun
positive_A : A ;
prime_A : A ;
integer_N : N ;
call_V2 : V2;
}
--# -path=.:prelude
concrete MathLexEng of Lexicon = CatEng **
concrete MathLexEng of MathLex = CatEng **
open ParadigmsEng, IrregEng, Prelude in {
flags
......@@ -8,5 +8,7 @@ flags
lin
positive_A = regADeg "positive" ;
number_N = regN "integer" ;
prime_A = regADeg "prime" ;
integer_N = regN "integer" ;
call_V2 = dirV2 (regV "call") ;
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment