Merge pull request #12 from marvinborner/main

Add link to repo

Author: haglobah

index.html.pm

@@ -109,7 +109,7 @@
         }
         ◊div[#:class "mx-2 my-4 sm:text-lg leading-relaxed"]{
           ◊orga{18:45 Doors open & Welcome}
-          ◊p[#:class ""]{◊span[#:class "font-medium"]{Recursion Schemes: Ana, Cata, Para, What?} (Marvin)}
+          ◊p[#:class ""]{◊link["https://github.com/marvinborner/tuela19"]{◊span[#:class "font-medium"]{Recursion Schemes: Ana, Cata, Para, What?}} (Marvin)}
           ◊abstract{
             Emerging from the depths of category theory, recursion schemes offer an elegant and efficient way to traverse recursive data structures. But how can they be used in practice? What are the differences between a catamorphism and a paramorphism? And how exactly does a futumorphism enable time travel??
           }