Re:Coq typeclass resolution is Turing-complete
by rowanG077 on Sunday April 16, 2023 @03:36PM
(#35593534)
I don't think people find Javascript an acceptable language. The meteoric rise of TypeScript proves that.
[ Parent
| on HN ]
Re:Coq typeclass resolution is Turing-complete
by wellanyway on Friday April 21, 2023 @05:43AM
(#35651590)
I have met and seen online a lot of people that see no problems with vanilla Javascript. I honestly don't even know where to begin here.