2 ms·
Are you aware of languages like lean or idris? In that comment you mention doom in ts types.
by mejutoco 3mo ago
Are you aware of languages like lean or idris? In that comment you mention doom in ts types.
- dimitropoulos 3mo agonope! never heard of them! (note: I'm the guy that did the Doom in TS types thing) what type-level fun do they bring to the table?