From f4cd764f2aba2c5f5d8e805a2ad597a2c6b90922 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 14 Dec 2005 16:28:57 +0000 Subject: mp3 example --- examples/mp3/MP3.gf | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 examples/mp3/MP3.gf (limited to 'examples/mp3/MP3.gf') 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 ; + +} -- cgit v1.2.3