| Age | Commit message (Collapse) | Author |
|---|
|
|
|
This avoids overlapping with Naproche's env vars.
|
|
With these defaults, it should no longer be necessary to set `NAPROCHE_LIB` just for running library files from the root of this project.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Splits mixfix data in lexicon into two data structures: a precedence table used for the parser and a mapping from symbols to markers used for the TPTP export.
|
|
|
|
|
|
|
|
Run with `--uncached` if you want to dump all tasks.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Still some `<nowhere>` value as placeholder left over.
|
|
Fixes missing match on the `Just` case for `StmtConnected`
|
|
|
|
|
|
|
|
|
|
|
|
WIP
|
|
|
|
|
|
|
|
|
|
|
