See the download page.
instance Foo of Bar - [f,g,h]
.
help
command-name).
aw
= align_words
option -giza
prints word alignments in Giza++ format.
i
= import
now recognizes changes in abstract syntax without the need of empty
.
pg
= print_grammar
option -lexc
prints lexicon in Xerox LEXC format.
ps
= put_string
now has flags for reading transliteration rules from a user-provided file.
r
= reload
repeats the latest instance of import
.
sd
= show_dependencies
shows all dependencies of a constant, and optionally their code sizes.
so
= show_operations
shows the oper's in scope, optionally restricted to a value type.
ss
= show_source
shows source code, or optionally just function headers or source code sizes.
gf -make -output-format=haskell --haskell=gadt
gf -server
replaces pgf-http
and makes it easy to test the minibar
and the web-based grammar editor.