← Back to context Comment by dimitropoulos 1 day ago I answered here https://news.ycombinator.com/item?id=48838629 2 comments dimitropoulos Reply mejutoco 21 hours ago Are you aware of languages like lean or idris? In that comment you mention doom in ts types. dimitropoulos 14 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?
mejutoco 21 hours ago Are you aware of languages like lean or idris? In that comment you mention doom in ts types. dimitropoulos 14 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 14 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?
Are you aware of languages like lean or idris? In that comment you mention doom in ts types.
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?