Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
there is something special about idris-mode that makes it pop up messages in the absolute least convenient place. like the buffer you were just typing into.
Mastodon FeedMastodon FeedMastodon Feeddysfun@treehouse.systems ("gaytabase") wrote:
there is something special about idris-mode that makes it pop up messages in the absolute least convenient place. like the buffer you were just typing into.