Send a PR to fix it! | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		init0 on July 4, 2022 \| parent \| context \| favorite \| on: Functional programming jargon in plain English Send a PR to fix it!

shikoba on July 4, 2022 [–]

There are so many things to fix. And they should have use coq as default language.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact