Fix typo in tutorial documentation - #421

Open

wang-yaojia wants to merge 1 commit into

egraphs-good:mainfrom

wang-yaojia:patch-1

wang-yaojia commented Aug 13, 2026

No description provided.


          Fix typo in tutorial documentation

a36d522

codspeed-hq Bot commented Aug 13, 2026

Merging this PR will not alter performance

✅ 12 untouched benchmarks
⏩ 2 skipped benchmarks¹

_{Comparing wang-yaojia:patch-1 (a36d522) with main (6b2016e)}

2 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet