← Back to context Comment by mejutoco 1 day ago Are you aware of languages like lean or idris? In that comment you mention doom in ts types. 1 comment mejutoco Reply dimitropoulos 16 hours ago nope! 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?
dimitropoulos 16 hours ago nope! 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?
nope! 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?