News for hackers. Stuff that matters.
Re:Functional programming jargon in plain English by shikoba on Monday July 04, 2022 @12:52PM (#31979146)
There are so many things to fix. And they should have use coq as default language.

There are no comments on this comment yet.