| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-06-11 | Add monadic ⊣⊢ (no-ops) | Marshall Lochbaum |
| 2020-06-11 | Use ⊣ for separator pseudofunction | Marshall Lochbaum |
| 2020-06-09 | A few more tests | Marshall Lochbaum |
| 2020-06-09 | Fix failure reporting | Marshall Lochbaum |
| 2020-06-09 | Add a simple testing framework | Marshall Lochbaum |
