| Age | Commit message (Collapse) | Author |
|
The new nub is called nub', and it replaces the old sortNub which was
not lazy and did not retain the order between the elements.
|
|
syntax
|
|
separate PGF building
|
|
|
|
|
|
in the abstract syntax
|
|
parse forest
|
|
|
|
fid(String|Int|Float)
|
|
|
|
|
|
|
|
source-code order. The order matters for the termination of the exhaustive generation with dependent types.
|
|
to match the preliminary specification
|
|
|
|
|
|
|
|
|
|
|
|
from deprecated
|