up

cicada-lang · Mar 29, 2024 · 7ecb2fb · 7ecb2fb
1 parent 62ee914
commit 7ecb2fb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/lang0/README.md b/docs/lang0/README.md
@@ -4,7 +4,7 @@ Lambda calculus.
 
 - Implement call-by-need lazy evaluation.
 - A name must be defined before used, thus no mutual recursion.
-- Allow non-mutual recursive by `(fixpoint)`.
+- Allow direct recursive by `(fixpoint)`.
 
 
 ```scheme
@@ -16,4 +16,5 @@ Lambda calculus.
 
 (lambda (name) ret)
 (fixpoint name body)
+(fix f)
 ```