up

xieyuheng · xieyuheng · commit 6507afa8b2b9 · 2025-07-22T17:06:15.000+08:00
diff --git a/TODO.md b/TODO.md
@@ -1,4 +1,6 @@
-`sameInCtx` -- use head on `DelayedApply`, but only for `DefinedLambda` in equal's context
+use `RecursiveLambda` instead of `DefinedLambda`
+
+`sameInCtx` -- use head on `DelayedApply`, but only for `RecursiveLambda`
 
 # lazy evaluation
 
