News for hackers. Stuff that matters.

A comment on Functional programming jargon in plain English. Parent comment

Re:Functional programming jargon in plain English by init0 on Monday July 04, 2022 @12:15PM (#31978678)
Send a PR to fix it!
[ Parent | on HN ]
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.
[ Parent | on HN ]