summaryrefslogtreecommitdiff
path: root/old-examples/tutorial/embedded/MathI.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-27 09:18:50 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-27 09:18:50 +0000
commit5c713d8f027a9b6be687ee3f7e917e8bd2115773 (patch)
tree65da19829810b753345a5b2164bef2d8876268dd /old-examples/tutorial/embedded/MathI.gf
parentf7b2a83059697f1b36a6369e489ac276e7ff875d (diff)
took away old-examples
Diffstat (limited to 'old-examples/tutorial/embedded/MathI.gf')
-rw-r--r--old-examples/tutorial/embedded/MathI.gf23
1 files changed, 0 insertions, 23 deletions
diff --git a/old-examples/tutorial/embedded/MathI.gf b/old-examples/tutorial/embedded/MathI.gf
deleted file mode 100644
index aaac7b98f..000000000
--- a/old-examples/tutorial/embedded/MathI.gf
+++ /dev/null
@@ -1,23 +0,0 @@
-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)) ;
-
-}