Expand on Haskells alternatives (#507)

I saw Haskell being added and decided to improve on the alternatives.

I added Idris, which is essentially non-lazy Haskell. It attempts to basically improve on Haskells mistakes from what I can tell. I saw they ban AI outright, so I added it to the alternatives below.

I also added little explanations for how each language is similar to Haskell, since Haskell is a very unique language which you can hardly just find one perfect replacement for...

Reviewed-on: https://codeberg.org/small-hack/open-slopware/pulls/507
Reviewed-by: JesseBot <jessebot@noreply.codeberg.org>

README.md

@@ -801,7 +801,7 @@ This is a section for repos that are similar to this one either because they are
 |---|:---:|---|---|
 | [.NET](https://dotnet.microsoft.com/) | [`v9.0.0`](https://github.com/dotnet/runtime/releases/tag/v9.0.0) | [![Permissive AI policy](./badges/permissive-ai-policy-orange.svg)](#permissive-ai-policy) ([1](https://github.com/dotnet/runtime/blob/main/.github/copilot-instructions.md), [2](https://github.com/dotnet/runtime/blob/main/.github/agents/agentic-workflows.agent.md), [3](https://github.com/dotnet/runtime/commit/128321e88e2c93d69766e15ad4f06bab70b753b7))<br/> [![AI Code Reviews](./badges/ai-code-reviews-purple.svg)](#ai-code-reviews) ([1](https://github.com/dotnet/runtime/pull/116200)) | See below |
 | [Dart](https://dart.dev/) | [![Request for Help](./badges/request-for-help.svg)](#request-for-help) | [![Permissive AI policy](./badges/permissive-ai-policy-orange.svg)](#permissive-ai-policy) ([1](https://github.com/dart-lang/sdk/blob/main/CONTRIBUTING.md#ai-contribution-guidelines), [2](https://github.com/dart-lang/sdk/tree/6cd3938741d48681330363b3553da8eccf335407/.agents/skills), [3](https://github.com/dart-lang/core/tree/0def20c4bef2b242db15b38202a54735101f5791/.gemini)) | See below |
-| [Haskell](https://www.haskell.org/) | [![Request for Help](./badges/request-for-help.svg)](#request-for-help) | [![Permissive AI policy](./badges/permissive-ai-policy-orange.svg)](#permissive-ai-policy) ([1](https://gitlab.haskell.org/ghc/ghc/-/wikis/contributing/AI)) | [SML](https://www.smlnj.org/)?, [OCaml](https://ocaml.org/)? |
+| [Haskell](https://www.haskell.org/) | [![Request for Help](./badges/request-for-help.svg)](#request-for-help) | [![Permissive AI policy](./badges/permissive-ai-policy-orange.svg)](#permissive-ai-policy) ([1](https://gitlab.haskell.org/ghc/ghc/-/wikis/contributing/AI)) | [Idris] (attempts to refine Haskell; Bans AI) <br/> [SML](https://smlfamily.github.io/) (several implementations; community is nearly dead) |
 | [Janet](https://janet-lang.org/) | [`517e40a`](https://github.com/janet-lang/janet/commit/517e40a17b8d42cfc1cae29f2d0b9015da84c9a9) | [![Permissive AI policy](./badges/permissive-ai-policy-orange.svg)](#permissive-ai-policy) ([1](https://github.com/janet-lang/janet/blob/c6b802b082aa21b6e65e8c2729c85237b0cc8a24/CONTRIBUTING.md#llms-tool-usage-and-transparency), [2](https://github.com/janet-lang/janet/pull/1710))<br />[![AI Code Reviews](./badges/ai-code-reviews-purple.svg)](#ai-code-reviews) ([1](https://github.com/janet-lang/janet/pull/1710), [2](https://github.com/janet-lang/janet/pull/1721), [3](https://github.com/janet-lang/janet/pull/1731)) | See below |
 | [Julia](https://julialang.org/) | [`v1.11.4`](https://github.com/JuliaLang/julia/releases/tag/v1.11.4) | [![Permissive AI policy](./badges/permissive-ai-policy-orange.svg)](#permissive-ai-policy) ([1](https://github.com/JuliaLang/julia/blob/master/AGENTS.md)<br/> [![AI Code Reviews](./badges/ai-code-reviews-purple.svg)](#ai-code-reviews) ([1](https://github.com/JuliaLang/julia/pull/57995), [2](https://github.com/JuliaLang/julia/pull/59706)) | See below |
 | [Kotlin](https://github.com/JetBrains/kotlin) | [`v2.3.0`](https://github.com/JetBrains/kotlin/releases/tag/v2.3.0) | [![Permissive AI policy](./badges/permissive-ai-policy-orange.svg)](#permissive-ai-policy) ([1](https://github.com/JetBrains/kotlin/blob/master/.ai/guidelines.md), [2](https://github.com/JetBrains/kotlin/commit/65fee3c3cad8012a6aad5df7554a1dd20dfb8d22))<br/> [![AI sponsored](./badges/ai-sponsored-blue.svg)](#sponsored-by-ai) ([1](https://kotlinlang.org/)) | See below |
@@ -822,6 +822,7 @@ This is a section for repos that are similar to this one either because they are
 > Depending on your needs and technical concerns, you may find any number of different alternative languages useful. For example, when considering alternatives to .NET, Java may be an interesting candidate from the perspective of being a similar VM-based framework.
 >
 > * [Clojure] - dynamic, compiled, general-purpose programming language: [AI-generated code not accepted](https://clojure.org/dev/contributor_agreement#_no_generated_code)
+> * [Idris] - purely functional programming language, similar to Haskell: [Strict No LLM / No AI Policy](https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md#things-we-will-not-accept)
 > * [Java] - memory safe, object-oriented, VM-based programming language: [AI-generated code not accepted](https://openjdk.org/legal/ai)
 > * [Zig] - general-purpose, compiled, system programming language: [Strict No LLM / No AI Policy](https://codeberg.org/ziglang/zig#strict-no-llm-no-ai-policy)
 
@@ -1292,6 +1293,7 @@ This repository is licensed under the Creative Commons Attribution Share Alike 4
 [GNOME Terminal]: https://gitlab.gnome.org/GNOME/gnome-terminal
 [GoToSocial]: https://codeberg.org/superseriousbusiness/gotosocial
 [HomeBank]: https://www.gethomebank.org/
+[Idris]: https://www.idris-lang.org/
 [`iocraft`]: https://github.com/ccbrown/iocraft
 [IronFox]: https://gitlab.com/ironfox-oss/IronFox
 [Java]: https://dev.java