Add link to Stefans talk

marvinborner · marvinborner · commit fc2770ea6a99 · 2026-02-19T16:00:06.000+01:00
diff --git a/index.html.pm b/index.html.pm
@@ -96,7 +96,7 @@
         }
         ◊div[#:class "mx-2 my-4 sm:text-lg leading-relaxed"]{
           ◊orga{18:45 Doors open & Welcome}
-          ◊p[#:class ""]{◊span[#:class "font-medium"]{Introduction to Property-Based Testing} (Stefan)}
+          ◊p[#:class ""]{◊span[#:class "font-medium"]{◊link["https://github.com/stfnw/talk-introduction-to-property-based-testing"]{Introduction to Property-Based Testing}} (Stefan)}
           ◊abstract{
             ◊p[#:class "my-2"]{
               How can we test our software, find bugs and make sure that it works as intended -- without time-consumingly hand-crafting example-based tests, which are still likely to miss important cases?

Original file line number	Diff line number	Diff line change
`@@ -96,7 +96,7 @@`
`96`	`96`	`}`
`97`	`97`	`◊div[#:class "mx-2 my-4 sm:text-lg leading-relaxed"]{`
`98`	`98`	`◊orga{18:45 Doors open & Welcome}`
`99`		`- ◊p[#:class ""]{◊span[#:class "font-medium"]{Introduction to Property-Based Testing} (Stefan)}`
	`99`	`+ ◊p[#:class ""]{◊span[#:class "font-medium"]{◊link["https://github.com/stfnw/talk-introduction-to-property-based-testing"]{Introduction to Property-Based Testing}} (Stefan)}`
`100`	`100`	`◊abstract{`
`101`	`101`	`◊p[#:class "my-2"]{`
`102`	`102`	`How can we test our software, find bugs and make sure that it works as intended -- without time-consumingly hand-crafting example-based tests, which are still likely to miss important cases?`