Mastodon Feed
Boosted by dysfun@treehouse.systems ("gaytabase"):
iblech@mathstodon.xyz ("Ingo Blechschmidt") wrote:
RE: https://mastodon.functional.computer/@samir/116651692093487153
Prompted by a post by @samir at https://mathstodon.xyz/@samir@functional.computer/116651693517871940, I put some old scripts into shape and updated them to the modern era (from XCompose to the "Fcitx 5 input method framework").
The result: the Agda input method you know and love (\to →, \bN ℕ, \forall ∀, …), available globally on your desktop. It should work on all Linux distributions and perhaps also on macOS, though I cannot test that.