Mastodon Feed: Post

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

i am sure this mathematician really believes what they have written, the problem is i don't and i know dependent types.