handmade.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
handmade.social is for all handmade artisans to create accounts for their Etsy and other handmade business shops.

Server stats:

35
active users

#hoogle

0 posts0 participants0 posts today
Continued thread

I have also written an finicky to setup xdg-desktop-portal that let one choose #files using #emacs codeberg.org/rahguzar/filechoo , an Emacs interface to #hoogle codeberg.org/rahguzar/consult-

There is a (kind of in progress) major mode for #sagemath codeberg.org/rahguzar/sage-mod which hasn't seen much progress in a while because it is usable for its only user i.e. me.

Recently I managed to make produce a (humongous) #texinfo manual for Sage so that I can read it from Emacs github.com/sagemath/sage/issue

Codeberg.orgfilechooserfilechooser.el: An xdg-desktop-portal filechooser
Replied to Markus Klink

@io if you're using #nix / #nixos you can easily spin up a local #hoogle:

For a #haskell project derivation `drv` instead of getting the dev environment with `drv.env` you do `drv.envFunc (withHoogle=true;)`.

Without a project, you do something like `nix-shell -p "haskellPackages.ghcWithHoogle (p: [])"`.

With either approach, once you're in the shell environment, start hoogle with `hoogle server --local`.