Skip to content

Commit 217959e

Browse files
committed
Add link to repo
1 parent 7aa25f8 commit 217959e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

index.html.pm

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,7 @@
7979
}
8080
div[#:class "mx-2 my-4 sm:text-lg leading-relaxed"]{
8181
◊orga{18:45 Doors open & Welcome}
82-
◊p[#:class ""]{◊span[#:class "font-medium"]{Recursion Schemes: Ana, Cata, Para, What?} (Marvin)}
82+
◊p[#:class ""]{◊link["https://github.com/marvinborner/tuela19"]{◊span[#:class "font-medium"]{Recursion Schemes: Ana, Cata, Para, What?}} (Marvin)}
8383
◊abstract{
8484
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??
8585
}

0 commit comments

Comments
 (0)