News for hackers. Stuff that matters.

A comment on Coq mulls new name for programming language. Parent comment

Re:Coq mulls new name for programming language by makapuf on Tuesday June 15, 2021 @09:32AM (#27515242)
See also: Mövenpick the ice cream brand https://www.moevenpick-icecream.com/ where moven are birds
[ Parent | on HN ]

There are no comments on this comment yet.