| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-06-13 | added indentation support for |as rule | Kai Stevenson |
| 2023-06-13 | added negation | Kai Stevenson |
| 2023-06-11 | added parsing of justifications | Kai Stevenson |
| 2023-06-11 | parsing propositions works now. added some debugging tools | Kai Stevenson |
| 2023-06-10 | lexing works | Kai Stevenson |
