#hoogle — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #hoogle, aggregated by home.social.
-
I have also written an finicky to setup xdg-desktop-portal that let one choose #files using #emacs https://codeberg.org/rahguzar/filechooser , an Emacs interface to #hoogle https://codeberg.org/rahguzar/consult-hoogle
There is a (kind of in progress) major mode for #sagemath https://codeberg.org/rahguzar/sage-mode 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 https://github.com/sagemath/sage/issues/21734