From 1834f8483608643cea36d3444be456653804a730 Mon Sep 17 00:00:00 2001 From: Tom Ellis Date: Mon, 1 Jul 2024 10:22:25 +0100 Subject: [PATCH] Make links --- README.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 7505ba4..4792387 100644 --- a/README.md +++ b/README.md @@ -44,12 +44,12 @@ would not exist. * Andrzej Rybczak for his work on effectful -* Francois Pottier for "Wandering through linear types, capabilities, - and regions" - +* Francois Pottier for "[Wandering through linear types, capabilities, + and + regions](http://pauillac.inria.fr/~fpottier/slides/fpottier-2007-05-linear-bestiary.pdf)" -* Jasper van de Jeugt, particularly for promoting the handle pattern - +* Jasper van de Jeugt, particularly for promoting [the handle + pattern](https://jaspervdj.be/posts/2018-03-08-handle-pattern.html#fnref2) * Michael Thompson, for his work on `streaming`