News for hackers. Stuff that matters.

A comment on Kind: A Modern Proof Language. Parent comment

Re:Kind: A Modern Proof Language by munificent on Wednesday August 11, 2021 @02:31PM (#28145824)
> Rob Pike once justified C syntax for its ability to survive pipes that mangled whitespace.

The C preprocessor would like to have a word with him.

[ Parent | on HN ]
Re:Kind: A Modern Proof Language by ketralnis on Wednesday August 11, 2021 @08:10PM (#28149923)
which I'm sure Rob Pike is unfamiliar with
[ Parent | on HN ]