News for hackers. Stuff that matters.

A comment on Skip: A programming language to skip the things you have already computed. Parent comment

Re:Skip: A programming language to skip the things you have ... by vrotaru on Friday February 18, 2022 @02:38AM (#30383109)
Well Julien Verlaguet is the original author of SkipLang, so "proprietary fork" does not deserver the square quotes, IMO
[ Parent | on HN ]
Re:Skip: A programming language to skip the things you have ... by pure_simplicity on Friday February 18, 2022 @04:07AM (#30383614)
Citation to indicate what he was responding to, not scare quotes.
[ Parent | on HN ]
Re:Skip: A programming language to skip the things you have ... by samatman on Friday February 18, 2022 @10:40AM (#30387126)
> indicate what he was responding to

I've started doing that in exactly this fashion `>*quote*\n`, precisely to avoid the er, mention/disparage distinction.

[ Parent | on HN ]