summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
3 daysfeat: simplify API to avoid double negativesv0.2.0next-versiondemo
6 daysfeat: implement Denyv0.1.2masterdemo
6 daysfeat: use Present/Absent instead of Newdemo
6 daystest: simplify if-clauses in testsv0.1.1demo
6 daystest: add test for xordemo
6 daysdocs: add godoc to each library functiondemo
6 daysrefactor: delete unused True and Falsedemo
6 daysstyle: rename Value to Assertdemo
6 daystest: write a few real testsdemo
6 daysfeat: 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.
6 daysdocs: add SO referencedemo
7 dayschore: initialize Go moduledemo
7 daysdocs: start writing README notesdemo