summaryrefslogtreecommitdiff
path: root/hamlet_test.go
AgeCommit message (Collapse)Author
7 daysfeat: use Present/Absent instead of Newdemo
7 daystest: simplify if-clauses in testsv0.1.1demo
7 daystest: add test for xordemo
7 daysstyle: rename Value to Assertdemo
7 daystest: write a few real testsdemo
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.