| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-02-23 | feat: simplifies the replFrege task | Thibault Gagnaux |
| 2022-02-23 | refactor: finishes the replFregeTask refactoring | Thibault Gagnaux |
| 2022-02-12 | refactor: finishes the runFregeTask refctoringf-minimal-frege-repl | Thibault Gagnaux |
| 2022-02-11 | refactor: finishes the compileFregeTask refactoring | Thibault Gagnaux |
| 2022-02-09 | refactor: continues with staged builder refactoring | Thibault Gagnaux |
