Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
don't get me wrong, i'd prefer to replace Hindley-Milner with proper dependent types, i just doubt my ability to implement them well, so it would really be dependent on someone with the appropriate knowledge getting involved.