From 7adcbebeecaeb07ba51f266bc13297bc594b4196 Mon Sep 17 00:00:00 2001 From: "Yann Esposito (Yogsototh)" Date: Tue, 22 Jan 2013 15:29:09 +0100 Subject: [PATCH] updated slightly the code for a better display of slides --- multi/blog/Category-Theory-Presentation.erb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: