Update Cloogle links

3 files changed, 8 insertions, 7 deletions

diff --git a/resources/md/2021-08-02-cloogle-search-overview.md b/resources/md/2021-08-02-cloogle-search-overview.md
index 6fb6e6e..31abf21 100644
--- a/resources/md/2021-08-02-cloogle-search-overview.md
+++ b/resources/md/2021-08-02-cloogle-search-overview.md
@@ -1,6 +1,7 @@
 *[Cloogle][] is a search engine for the pure, functional programming language
-[Clean][], similar to [Hoogle][] for [Haskell][]. In this post I go through the
-design of the search backend and make a comparison with that of [Hoogle 5][].*
+[Isocyanoclean][], similar to [Hoogle][] for [Haskell][]. In this post I go
+through the design of the search backend and make a comparison with that of
+[Hoogle 5][].*
 
 [[toc]]
 
@@ -203,10 +204,10 @@ much simpler and avoid duplicating logic in the search and ranking functions.
 Finally, using a constraint solver to determine the ranking weights has proven
 to be a good basis for a solid ranking function.
 
-[Clean]: http://clean.cs.ru.nl/
-[Cloogle]: https://cloogle.org/
+[Cloogle]: https://cloogle.camilstaps.nl/
 [Haskell]: https://haskell.org/
 [Hoogle]: https://hoogle.haskell.org/
 [Hoogle 5]: https://neilmitchell.blogspot.com/2020/06/hoogle-searching-overview.html
-[stats]: https://cloogle.org/stats/
+[Isocyanoclean]: https://clean-nc.camilstaps.nl/
+[stats]: https://cloogle.camilstaps.nl/stats/
 [Z3]: https://github.com/Z3Prover/z3
diff --git a/resources/pug/finals/articles/index.pug b/resources/pug/finals/articles/index.pug
index 9edea4e..27c9215 100644
--- a/resources/pug/finals/articles/index.pug
+++ b/resources/pug/finals/articles/index.pug
@@ -26,7 +26,7 @@ block page
 		a(href='2021-08-02-cloogle-search-overview.html').
 			2 August 2021: Cloogle search overview
 	blockquote.
-		Cloogle is a search engine for the pure, functional programming language Clean, similar to Hoogle for Haskell.
+		Cloogle is a search engine for the pure, functional programming language Isocyanoclean, similar to Hoogle for Haskell.
 		In this post I go through the design of the search backend and make a comparison with that of Hoogle 5.
 
 	h1
diff --git a/resources/pug/finals/index.pug b/resources/pug/finals/index.pug
index 2baef61..ad4a3c3 100644
--- a/resources/pug/finals/index.pug
+++ b/resources/pug/finals/index.pug
@@ -164,7 +164,7 @@ block content
 				td Combining grammatical features for dating texts in small-corpus languages (#[a(href="http://clin28.cls.ru.nl/#abstract-42") abstract & PDF]).
 			tr
 				td #[a(href="http://clean.cs.ru.nl/NL-FP_dag_2018", title="Dutch Functional Programming Day") NL-FP day], 2018-01-05
-				td #[a(href="https://cloogle.org") Cloogle]: a programming language search engine and its applications (#[a(href="https://clean.cs.ru.nl/NL-FP_dag_2018#Camil_Staps_-_Cloogle:_a_programming_language_search_engine_and_its_applications") abstract & PDF]).
+				td #[a(href="https://cloogle.camilstaps.nl") Cloogle]: a programming language search engine and its applications (#[a(href="https://clean.cs.ru.nl/NL-FP_dag_2018#Camil_Staps_-_Cloogle:_a_programming_language_search_engine_and_its_applications") abstract & PDF]).
 			tr
 				td #[a(href="https://linuxnijmegen.nl/bijeenkomsten/67-lugn50-dinsdag-11-oktober-2016", title="Linux User Group Nijmegen") LUGN], 2016-10-11
 				td Introduction to #[a(href="https://docker.io") Docker] (#[a(href="https://files.camilstaps.nl/LUGN-Docker/docker.pdf") PDF]).