Hacker News new | ask | show | jobs
by dimitropoulos 20 days ago
I answered here https://news.ycombinator.com/item?id=48838629
1 comments
mejutoco 20 days ago
Are you aware of languages like lean or idris? In that comment you mention doom in ts types.
link
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