diff options
| author | Camil Staps | 2022-02-18 10:36:33 +0100 |
|---|---|---|
| committer | Camil Staps | 2022-02-18 10:36:33 +0100 |
| commit | f106e1a0971b03a1bdca8b9d2aea2180b7d72d12 (patch) | |
| tree | abc73fef95c6cefd633fb0d384004c23ff3b0e03 | |
| parent | IFL 2019 article is now OA (diff) | |
Update Cloogle links
| -rw-r--r-- | resources/md/2021-08-02-cloogle-search-overview.md | 11 | ||||
| -rw-r--r-- | resources/pug/finals/articles/index.pug | 2 | ||||
| -rw-r--r-- | resources/pug/finals/index.pug | 2 |
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]). |