From 7f333c0cd21a469bdc9077231aaffc11a9e56d4c Mon Sep 17 00:00:00 2001
From: Tshepang Mbambo <tshepang@gmail.com>
Date: Sat, 10 May 2025 13:07:34 +0200
Subject: [PATCH] last updated a year ago

---
 src/ty-fold.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ty-fold.md b/src/ty-fold.md
index 8e5fe6cc..23253022 100644
--- a/src/ty-fold.md
+++ b/src/ty-fold.md
@@ -1,3 +1,4 @@
+<!-- date-check: may 2024 -->
 # `TypeFoldable` and `TypeFolder`
 
 In [a previous chapter], we discussed instantiating binders.