Mastodon Feed: Post

dysfun@treehouse.systems ("gaytabase") wrote:

(the reason i am asking is because i am plotting to make some changes to idris-mode)