diff options
| author | aarne <aarne@chalmers.se> | 2010-04-07 19:39:48 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-04-07 19:39:48 +0000 |
| commit | 8171bb0ea2dffe9e0a99e06815bf46182671137d (patch) | |
| tree | 10116fbbf6f48e005c7961c6bb5439f7fa3e3d18 /examples/phrasebook/PhrasebookSpa.gf | |
| parent | aeb0a5b7e073bec56365185beed3311cf65c65aa (diff) | |
reordered phrasebook sources so that they are easier to clone; cloned Ger,Spa,Cat,Bul
Diffstat (limited to 'examples/phrasebook/PhrasebookSpa.gf')
| -rw-r--r-- | examples/phrasebook/PhrasebookSpa.gf | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/examples/phrasebook/PhrasebookSpa.gf b/examples/phrasebook/PhrasebookSpa.gf new file mode 100644 index 000000000..60d02eabb --- /dev/null +++ b/examples/phrasebook/PhrasebookSpa.gf @@ -0,0 +1,14 @@ +--# -path=.:present + +concrete PhrasebookSpa of Phrasebook = + GreetingsSpa, + WordsIta + ** open + SyntaxSpa, + Prelude in { + +lin + PGreeting g = lin Text (ss g.s) ; + +} + |