From 859af872373e4768e19c37cabe1b988f69bee070 Mon Sep 17 00:00:00 2001
From: demo <demo@antix1>
Date: Sat, 30 May 2026 11:14:26 -0400
Subject: 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.
---
 hamlet_test.go | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 hamlet_test.go

(limited to 'hamlet_test.go')

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))
+}
-- 
cgit v1.2.3