demo grammar for the resource: mini/MiniGrammar. Generated automatically from MiniGrammarEng by make. Will replace the old demo/ grammars as one that illustrates the grammar structures while being lighter than Lang and generating less junk.

2026-08-03 09:55:12 -06:00 · 2011-10-03 14:17:56 +00:00
parent 988c80751e
commit f847344de8
5 changed files with 337 additions and 1 deletions
@@ -0,0 +1,10 @@
+all: src pgf
+
+src:
+	runghc MkMini.hs
+
+pgf: src
+	gf -make -optimize-pgf MiniGrammar???.gf +RTS -K100M
+
+gf: src
+	gf -batch MiniGrammar???.gf