News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.