summaryrefslogtreecommitdiff
path: root/hamlet.go
AgeCommit message (Collapse)Author
4 daysfeat: simplify API to avoid double negativesv0.2.0next-versiondemo
7 daysfeat: implement Denyv0.1.2masterdemo
7 daysfeat: use Present/Absent instead of Newdemo
7 daysdocs: add godoc to each library functiondemo
7 daysrefactor: delete unused True and Falsedemo
7 daysstyle: rename Value to Assertdemo
7 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.