Mastodon Feed: Post

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

today i am thinking about metavariables and laziness and how much the former should be reflected in the type