| Age | Commit message (Collapse) | Author |
|---|
|
use the generic programming API
|
|
decideable for propositional logic. dependent types and high-order types are not supported yet. The generation is still in decreasing probability order
|
|
|
|
|
|
|
|
collection for the chart
|
|
|
|
|
|
up the code a lot
|
|
This prevents from explosion in the memory size but it will also prevent us from parsing some sentences.
|
|
fair basis with the grammar rules
|
|
|
|
your own risk.
|
|
|
|
the same mechanism is now used for the metavariables
|
|
|
|
their abstract counter parts
|
|
|
|
fast lexical lookup from the same index
|
|
|
|
|
|
which also makes the types PgfLzr and PgfParser redundant.
|
|
|
|
|
|
|
|
in the grammar printout
|
|
|
|
|
|
|
