last updated a year ago

2025-05-10 13:07:34 +02:00 · 2025-05-10 13:07:34 +02:00 · 7f333c0cd2
parent 919836d9f2
commit 7f333c0cd2
1 changed files with 1 additions and 0 deletions
--- 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.