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

Commit c38f5d18 authored by Michael Kohlhase's avatar Michael Kohlhase

first stab at a Math grammar

parent 9388811c
--1 Lang: a Test Module for the Resource Grammar
-- This grammar is for testing the resource as included in the
-- language-independent API, consisting of a grammar and a lexicon.
-- The grammar without a lexicon is [``Grammar`` Grammar.html],
-- which may be more suitable to open in applications.
abstract Math =
Grammar,
Lexicon,
MathLex
,Construction --- could be compiled here, but not in concretes, as they call Syntax and Grammar
,Documentation --# notpresent
,Markup - [stringMark]
** {
flags startcat=Phr ;
} ;
--# -path=.:../abstract:../common:../api
concrete MathEng of Math =
GrammarEng,
LexiconEng
,ConstructionEng
,DocumentationEng --# notpresent
,MarkupEng - [stringMark]
** {
} ;
abstract MathLex = Cat ** {
fun
positive_A : A ;
integer_N : N ;
}
--# -path=.:prelude
concrete MathLexEng of Lexicon = CatEng **
open ParadigmsEng, IrregEng, Prelude in {
flags
optimize=values ;
lin
positive_A = regADeg "positive" ;
number_N = regN "integer" ;
}
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