improved final-resource

2026-06-27 03:46:28 -06:00 · 2006-06-13 14:40:12 +00:00
parent 161924b0e6
commit bd6929e4a7
14 changed files with 351 additions and 216 deletions
@@ -0,0 +1,5 @@
+--# -path=.:present:prelude
+
+  concrete MusicFin of Music = MusicI with
+    (Grammar = GrammarFin),
+    (MusicLex = MusicLexFin) ;