Release-Candidate

I only tested with the last (0.0.26.1), but I guess it's all of them. Great, thanks. I'm just working on a fix/pull request.

> If none of the `foundation` [maintainers](https://hackage.haskell.org/package/foundation/maintainers/) address this, you can ask the Hackage trustees to do it: https://github.com/haskell-infra/hackage-trustees/blob/master/CONTRIBUTING.md. See https://github.com/haskell-infra/hackage-trustees/issues/330

I've made an extension for VS Code and Codium (it's using the REPL instead of a LSP): https://github.com/Release-Candidate/vscode-scheme-repl For Emacs there is Geiser (-Chez): https://github.com/emacsmirror/geiser

Thank you. Yes, I can imagine that isn't the easiest comment to handle. And done.

> For your info, there is an external library not maintained by the Idris core team which tries to provide such verified "interfaces". Maybe this could be useful for you...

Thanks for your answer. So I wait until there is an Algebra/Math/Whatever library in the `idris-community` repo. Is there anything I could do to help @Sventimir (@nickdrozd or whoever) with...

> I don't have any plans to maintain any libraries. Sorry, I confused you with @Sventimir see [this post](https://github.com/idris-lang/Idris2/pull/1842) Although reading that again now, calling a package `math` and only...

Reading the linked threads I'm now beginning to realize what this is all about. But ignoring the (IMHO unnecessary diamond hierarchy) for now: Taking a closer look at `contrib/Control/Algebra.idr` there...

Sorry, this is going to be long. I hope it is (at least somewhat) comprehensible. * First: let’s leave the proofs and laws aside for a while and talk about...

Sorry for the late response, I had been occupied by other stuff for a while. @Sventimir > @Release-Candidate, I am not actively working on Idris at the moment and also...