diff --git a/multi/blog/Category-Theory-Presentation.erb b/multi/blog/Category-Theory-Presentation.erb index a97b6d6fa..a3793874c 100644 --- a/multi/blog/Category-Theory-Presentation.erb +++ b/multi/blog/Category-Theory-Presentation.erb @@ -991,7 +991,7 @@ depth = cata phi where phi :: Algebra TreeF Int -- TreeF Int -> Int phi (Node x sons) = 1 + foldr max 0 sons
-
+

Conclusion

Category Theory oriented Programming: