diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-05-10 13:56:41 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-05-10 13:56:41 +0000 |
| commit | e4ef09f6aac55452031cc16def7048b0dd0d30cd (patch) | |
| tree | b2daaf442bef77b1542ff95b4f384894f8e1c00b /src/HelpFile | |
| parent | 278a0ab45d02e85ba6d863615abaaf24bba5317b (diff) | |
Added haskell_gadt -printer. It does not include a Compos instance yet, so it's not terribly useful.
Diffstat (limited to 'src/HelpFile')
| -rw-r--r-- | src/HelpFile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/HelpFile b/src/HelpFile index 0b18e34a8..999b26382 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -615,6 +615,7 @@ q, quit: q -printer=plbnf grammar for BNF Converter, with precedence levels *-printer=happy source file for Happy parser generator (use lbnf!) -printer=haskell abstract syntax in Haskell, with transl to/from GF + -printer=haskell_gadt abstract syntax GADT in Haskell, with transl to/from GF -printer=morpho full-form lexicon, long format *-printer=latex LaTeX file (for the tg command) -printer=fullform full-form lexicon, short format |