Mastodon Feed: Post

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

rather amusingly, while i can actually infer some types, i can't actually check any types yet. mostly because i can't figure out what type check should have.