feat: implement basic assertion modeling

Right now we can do implication, negation, double implication, and,
or, and xor. That might be all we need for now.

1 files changed, 14 insertions, 0 deletions

diff --git a/hamlet_test.go b/hamlet_test.go
new file mode 100644
index 0000000..d216617
--- /dev/null
+++ b/hamlet_test.go
@@ -0,0 +1,14 @@
+package hamlet
+
+import (
+	"fmt"
+	"testing"
+)
+
+func TestAssertion(t *testing.T) {
+	prop1 := New(4)
+	prop2 := New("")
+
+	fmt.Println(If(prop2, prop1))
+	fmt.Println(If(prop1, prop2))
+}