diff options
Diffstat (limited to 'resources/md/2021-08-02-cloogle-search-overview.md')
| -rw-r--r-- | resources/md/2021-08-02-cloogle-search-overview.md | 11 |
1 files changed, 6 insertions, 5 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 |