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