Mastodon Feed: Post

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

ah, my idris installation was broken by an update. time to rebuild...