diff options
Diffstat (limited to 'examples/tutorial/embedded/QueryEng.gf')
| -rw-r--r-- | examples/tutorial/embedded/QueryEng.gf | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/examples/tutorial/embedded/QueryEng.gf b/examples/tutorial/embedded/QueryEng.gf new file mode 100644 index 000000000..a740056ee --- /dev/null +++ b/examples/tutorial/embedded/QueryEng.gf @@ -0,0 +1,15 @@ +concrete QueryEng of Query = { + lincat + Answer, Question, Object = Str ; + + lin + Even x = "is" ++ x ++ "even" ; + Odd x = "is" ++ x ++ "odd" ; + Prime x = "is" ++ x ++ "prime" ; + Number n = n.s ; + + Yes = "yes" ; + No = "no" ; + +} + |