Hacker News new | ask | show | jobs
by mejutoco 20 days ago
Are you aware of languages like lean or idris? In that comment you mention doom in ts types.
1 comments
dimitropoulos 19 days 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?
link