Update docs/pattern-matching.md

Co-authored-by: Nicolas Abril <nicolas.abril@protonmail.ch>
HigherOrderCO · Jan 31, 2025 · ea2f3c1 · ea2f3c1
1 parent 15b3149
commit ea2f3c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/pattern-matching.md b/docs/pattern-matching.md
@@ -41,7 +41,7 @@ UnwrapOrZero x = (x λtag switch tag {
 
 # Otherwise, if the current encoding is 'adt-scott' it becomes:
 Maybe/Some = λval λMaybe/Some λMaybe/None (Maybe/Some val)
-Maybe/None = λMaybe/Some λMaybe/None None
+Maybe/None = λMaybe/Some λMaybe/None Maybe/None
 UnwrapOrZero x = (x λx.val x.val 0)
 ```