overload res doc examples, part 2

1 files changed, 7 insertions, 0 deletions

diff --git a/doc/tutorial/music/MusicEng.gf b/doc/tutorial/music/MusicEng.gf
new file mode 100644
index 000000000..c85915254
--- /dev/null
+++ b/doc/tutorial/music/MusicEng.gf
@@ -0,0 +1,7 @@
+--# -path=.:present:api:prelude
+
+  concrete MusicEng of Music = MusicEng0 - [PropKind] ** 
+      open SyntaxEng in {
+  lin
+    PropKind k p = mkCN k (mkRS (mkRCl which_RP (mkVP p))) ;
+  }