Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
i now realise that when i said doing dependent types properly for dysfunlang was probably beyond me, i was mistaken.
replicating idris or agda is beyond me, but implementing the sort of thing that would make a good c replacement is actually well within my comfort zone.