modernized parser in EmbedAPI

This commit is contained in:
aarne
2007-09-05 14:05:42 +00:00
parent e2b9657f79
commit d2a5148708
15 changed files with 335 additions and 87 deletions

View File

@@ -0,0 +1,23 @@
incomplete concrete MathI of Math =
open Syntax, Symbol, LexMath in {
flags startcat = Question ; lexer = textlit ; unlexer = text ;
lincat
Answer = Text ;
Question = Text ;
Object = NP ;
lin
Even = questAdj even_A ;
Odd = questAdj odd_A ;
Prime = questAdj prime_A ;
Number n = mkNP (IntPN n) ;
Yes = mkText yes_Phr ;
No = mkText no_Phr ;
oper
questAdj : A -> NP -> Text = \adj,x -> mkText (mkQS (mkCl x adj)) ;
}