diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-07-08 16:36:56 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-07-08 16:36:56 +0000 |
| commit | 23d8ebeb26892c8d831a8b5324fece62f6c6687c (patch) | |
| tree | 7900e1081ffc85cbc4f71e43a5a4a5f2368ca053 /examples/model/MathFre.gf | |
| parent | 3627875fa8ec277fad0bdabb1e7d74bd66ba2c42 (diff) | |
tutorial in final form
Diffstat (limited to 'examples/model/MathFre.gf')
| -rw-r--r-- | examples/model/MathFre.gf | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/examples/model/MathFre.gf b/examples/model/MathFre.gf index 87575ba06..2464907de 100644 --- a/examples/model/MathFre.gf +++ b/examples/model/MathFre.gf @@ -1,7 +1,5 @@ ---# -path=.:api:present:prelude:mathematical +--# -path=.:present:prelude concrete MathFre of Math = MathI with - (Grammar = GrammarFre), - (Combinators = CombinatorsFre), - (Predication = PredicationFre), + (Syntax = SyntaxFre), (Lex = LexFre) ; |