summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2026-06-02feat: simplify API to avoid double negativesv0.2.0next-versiondemo
2026-05-30feat: implement Denyv0.1.2masterdemo
2026-05-30feat: use Present/Absent instead of Newdemo
2026-05-30test: simplify if-clauses in testsv0.1.1demo
2026-05-30test: add test for xordemo
2026-05-30docs: add godoc to each library functiondemo
2026-05-30refactor: delete unused True and Falsedemo
2026-05-30style: rename Value to Assertdemo
2026-05-30test: write a few real testsdemo
2026-05-30feat: implement basic assertion modelingdemo
Right now we can do implication, negation, double implication, and, or, and xor. That might be all we need for now.
2026-05-30docs: add SO referencedemo
2026-05-30chore: initialize Go moduledemo
2026-05-30docs: start writing README notesdemo