Mastodon Feed: Post

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

in other news, people think weird stuff about dependent types