summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Bracht Laumann Jespersen <t@laumann.xyz>2022-09-19 20:22:04 +0200
committerThomas Bracht Laumann Jespersen <t@laumann.xyz>2022-09-19 20:22:04 +0200
commit8d4c203859f37b414b6a9d78237bfa9c9f10697c (patch)
tree47149d0f99293fcb92f3dd98e8c8f0123f23024a
parentc8783da2793367a840745290b6568992f1857728 (diff)
sessiontypes: link to locally hosted pdf
-rw-r--r--site/sessiontypes.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/site/sessiontypes.md b/site/sessiontypes.md
index 12a4acf..04e3994 100644
--- a/site/sessiontypes.md
+++ b/site/sessiontypes.md
@@ -8,5 +8,5 @@ Co-authored with [Philip Munksgaard](https://munksgaard.me) and [Ken Friis
Larsen](http://hjemmesider.diku.dk/~kflarsen/) it is essentially a condensed
version of the master thesis of the same name.
- * Library: <https://github.com/Munksgaard/session-types>
- * Paper: <https://munksgaard.me/papers/laumann-munksgaard-larsen.pdf>
+ * Code: <https://github.com/Munksgaard/session-types>
+ * Paper: [laumann-munksgaard-larsen.pdf](/blobs/laumann-munksgaard-larsen.pdf)