aboutsummaryrefslogtreecommitdiff
path: root/documentation/book
diff options
context:
space:
mode:
authorEduardo Julian2022-01-24 23:38:55 -0400
committerEduardo Julian2022-01-24 23:38:55 -0400
commit9a08039adfe40f76b9d5a5351005671c15b557bf (patch)
treef7d72bd0beb1576018abb4ee6774b8f19d2ea243 /documentation/book
parent6f55815f7f237df406e72c7a723055bb6238fce5 (diff)
Added explicit function inlining.
Diffstat (limited to '')
-rw-r--r--documentation/bookmark/recursion_schemes.md32
1 files changed, 17 insertions, 15 deletions
diff --git a/documentation/bookmark/recursion_schemes.md b/documentation/bookmark/recursion_schemes.md
index 5c41438df..31a013123 100644
--- a/documentation/bookmark/recursion_schemes.md
+++ b/documentation/bookmark/recursion_schemes.md
@@ -1,18 +1,20 @@
# Reference
-1. [Probability Tree Diagrams. Recursion Schemes. Why Finding the Right Solution is Sometimes Hard?](https://rpeszek.github.io/posts/2021-07-18-prob-tree-scheme.html)
-1. [Unifying Structured Recursion Schemes](https://www.cs.ox.ac.uk/people/nicolas.wu/papers/URS.pdf)
-1. http://maartenfokkinga.github.io/utwente/mmf91m.pdf
-1. http://blog.sumtypeofway.com/an-introduction-to-recursion-schemes/
-1. http://blog.sumtypeofway.com/recursion-schemes-part-2/
-1. http://blog.sumtypeofway.com/recursion-schemes-part-iii-folds-in-context/
-1. http://blog.sumtypeofway.com/recursion-schemes-part-iv-time-is-of-the-essence/
-1. http://comonad.com/reader/2009/recursion-schemes/
-1. [Peeling the Banana: Recursion Schemes from First Principles - Zainab Ali](https://www.youtube.com/watch?v=XZ9nPZbaYfE)
-1. https://github.com/passy/awesome-recursion-schemes
-1. [YOW! Lambda Jam 2018 - Amy Wong - Introduction to recursion scheme](https://www.youtube.com/watch?v=YnqPdlJd38o)
-1. https://bartoszmilewski.com/2018/08/20/recursion-schemes-for-higher-algebras/
-1. https://blog.sumtypeofway.com/recursion-schemes-part-6-comonads-composition-and-generality/
-1. https://chrilves.github.io/hugo/posts/recursion_schemes_intro/
-1. [Recursion Schemes: A Field Guide (Redux)](http://comonad.com/reader/2009/recursion-schemes/)
+0. [An Introduction to Recursion Schemes](https://blog.sumtypeofway.com/posts/introduction-to-recursion-schemes.html)
+0. [Recursion Schemes, Part II: A Mob of Morphisms](https://blog.sumtypeofway.com/posts/recursion-schemes-part-2.html)
+0. [Recursion Schemes, Part III: Folds in Context](https://blog.sumtypeofway.com/posts/recursion-schemes-part-3.html)
+0. [Recursion Schemes, Part IV: Time is of the Essence](https://blog.sumtypeofway.com/posts/recursion-schemes-part-4.html)
+0. [Recursion Schemes, Part 4½: Better Living Through Base Functors](https://blog.sumtypeofway.com/posts/recursion-schemes-part-4-point-5.html)
+0. [Recursion Schemes, Part V: Hello, Hylomorphisms](https://blog.sumtypeofway.com/posts/recursion-schemes-part-5.html)
+0. [Recursion Schemes, Part VI: Comonads, Composition, and Generality](https://blog.sumtypeofway.com/posts/recursion-schemes-part-6.html)
+0. [Probability Tree Diagrams. Recursion Schemes. Why Finding the Right Solution is Sometimes Hard?](https://rpeszek.github.io/posts/2021-07-18-prob-tree-scheme.html)
+0. [Unifying Structured Recursion Schemes](https://www.cs.ox.ac.uk/people/nicolas.wu/papers/URS.pdf)
+0. http://maartenfokkinga.github.io/utwente/mmf91m.pdf
+0. http://comonad.com/reader/2009/recursion-schemes/
+0. [Peeling the Banana: Recursion Schemes from First Principles - Zainab Ali](https://www.youtube.com/watch?v=XZ9nPZbaYfE)
+0. https://github.com/passy/awesome-recursion-schemes
+0. [YOW! Lambda Jam 2018 - Amy Wong - Introduction to recursion scheme](https://www.youtube.com/watch?v=YnqPdlJd38o)
+0. https://bartoszmilewski.com/2018/08/20/recursion-schemes-for-higher-algebras/
+0. https://chrilves.github.io/hugo/posts/recursion_schemes_intro/
+0. [Recursion Schemes: A Field Guide (Redux)](http://comonad.com/reader/2009/recursion-schemes/)