Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
in other words: dysfunlang will probably have dependent types.
Mastodon FeedMastodon FeedMastodon Feeddysfun@treehouse.systems ("gaytabase") wrote:
in other words: dysfunlang will probably have dependent types.