From 4d2eea5fc523834a0bd543f96f7f8e9b95ad9f37 Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Tue, 3 Sep 2024 15:39:41 -0400
Subject: [PATCH] docs: update

---
 scripts/MetaPrograms/check_rfl.lean | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/MetaPrograms/check_rfl.lean b/scripts/MetaPrograms/check_rfl.lean
index 5596737..30fd4e8 100644
--- a/scripts/MetaPrograms/check_rfl.lean
+++ b/scripts/MetaPrograms/check_rfl.lean
@@ -19,6 +19,8 @@ The content of this file is based on the following sources (released under the A
 
 Modifications have been made to the original content of these files here.
 
+See also:
+- https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Memory.20increase.20in.20loops.2E
 -/
 open Lean Elab System