Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
holy shit, i just discovered idris-mode can do even more work for me than previously realised because i hit the wrong key chord
Mastodon FeedMastodon FeedMastodon Feeddysfun@treehouse.systems ("gaytabase") wrote:
holy shit, i just discovered idris-mode can do even more work for me than previously realised because i hit the wrong key chord