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.
[ Parent
| on HN ]
There are no comments on this comment yet.