From 63280decfb9c515cf133367d06714450f5540e0f Mon Sep 17 00:00:00 2001
From: Saul Shanabrook <s.shanabrook@gmail.com>
Date: Sun, 10 Aug 2025 11:53:08 -0400
Subject: [PATCH] Update README with operator overloading

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index fbbf8f1..353ccd6 100644
--- a/README.md
+++ b/README.md
@@ -67,8 +67,8 @@ from typing import Generator
 
 @ruleset
 def float_rules(x: Term, y: Term, z: Term, i: i64, f: f64):
-    yield rewrite(Add(x, Term.lit_f32(0.0))).to(x)
-    yield rewrite(Add(Term.lit_f32(0.0), x)).to(x)
+    yield rewrite(x + Term.lit_f32(0.0)).to(x)
+    yield rewrite(Term.lit_f32(0.0) + x).to(x)
 
 @kernel("float32(float32)", rewrites=(basic_math, float_rules))
 def custom_fn(x):