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