diff options
| author | aarne <aarne@cs.chalmers.se> | 2005-12-14 16:28:57 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2005-12-14 16:28:57 +0000 |
| commit | f4cd764f2aba2c5f5d8e805a2ad597a2c6b90922 (patch) | |
| tree | d65eb46260c82b54f9e84d6d6e4eac5ad5409ce4 /examples/mp3/MP3.gf | |
| parent | cee5ee4b660c02eda33a3dca49ea33d5872fb2d0 (diff) | |
mp3 example
Diffstat (limited to 'examples/mp3/MP3.gf')
| -rw-r--r-- | examples/mp3/MP3.gf | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/examples/mp3/MP3.gf b/examples/mp3/MP3.gf new file mode 100644 index 000000000..cc4dd882a --- /dev/null +++ b/examples/mp3/MP3.gf @@ -0,0 +1,19 @@ +abstract MP3 = { + cat + Move ; + Song ; + + fun + Play : Song -> Move ; + CanPlay : Song -> Move ; + WantPlay : Song -> Move ; + WhichPlay : Move ; + + ThisSong : Song ; + This : Song ; + + Yesterday : Song ; + +---- MkSong : String -> Song ; + +} |