summaryrefslogtreecommitdiff
path: root/old-examples/tutorial/embedded/MathI.gf
diff options
context:
space:
mode:
Diffstat (limited to 'old-examples/tutorial/embedded/MathI.gf')
-rw-r--r--old-examples/tutorial/embedded/MathI.gf23
1 files changed, 23 insertions, 0 deletions
diff --git a/old-examples/tutorial/embedded/MathI.gf b/old-examples/tutorial/embedded/MathI.gf
new file mode 100644
index 000000000..aaac7b98f
--- /dev/null
+++ b/old-examples/tutorial/embedded/MathI.gf
@@ -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)) ;
+
+}