From e9469f6e7c4ff04cdc939030c5af4c1516a0271b Mon Sep 17 00:00:00 2001
From: Collin Williams <96917990+bluedragon1221@users.noreply.github.com>
Date: Wed, 31 Dec 2025 07:44:54 -0600
Subject: progress

---
 base.rules | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 base.rules

(limited to 'base.rules')

diff --git a/base.rules b/base.rules
new file mode 100644
index 0000000..aa14298
--- /dev/null
+++ b/base.rules
@@ -0,0 +1,5 @@
+(def-rule (+ @a) @a)
+(def-rule (* @a) @a)
+(def-rule (+ @a @a .) (+ (* 2 @a) .))
+(def-rule (+ @a (* $i @a) .) (+ (* (+ $i 1) @a) .))
+(def-rule (+ (* $i @a) (* $j @a) .) (+ (* (+ $i $j) @a) .))
-- 
cgit v1.3.1