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.