update fpb.json

2022-05-13 00:01:16 +00:00 · 2022-05-13 00:01:16 +00:00 · 0c854b7266
parent 6a21b87ec6
commit 0c854b7266
1 changed files with 1 additions and 1 deletions
--- a/fpb.json
+++ b/fpb.json
@ -13101,7 +13101,7 @@
                           "author": "Arya Popescu"
                        },
                        {
-                           "url": "https://fldit-www.cs.uni-dortmund.de/~peter/PS07/HR.pdf",
+                           "url": "https://fldit-www.cs.tu-dortmund.de/~peter/PS07/HR.pdf",
                           "title": "The Haskell Road to Logic, Math and Programming",
                           "author": "Kees Doets and Jan van Eijck",
                           "notes": [