aboutsummaryrefslogtreecommitdiff
path: root/test
AgeCommit message (Expand)Author
2020-06-11Add monadic ⊣⊢ (no-ops)Marshall Lochbaum
2020-06-11Use ⊣ for separator pseudofunctionMarshall Lochbaum
2020-06-09A few more testsMarshall Lochbaum
2020-06-09Fix failure reportingMarshall Lochbaum
2020-06-09Add a simple testing frameworkMarshall Lochbaum