News for hackers. Stuff that matters.

A comment on Functional Programming in Lean – a book on using Lean 4 to write programs. Parent comment

Re:Functional Programming in Lean – a book on using Lean 4 t... by xigoi on Monday May 29, 2023 @04:44AM (#36112011)
In the book, the ":" is typeset in monospace and the "." in proportional font, making their meaning clear.
[ Parent | on HN ]
Re:Functional Programming in Lean – a book on using Lean 4 t... by d_christiansen on Monday May 29, 2023 @06:38AM (#36112592)
I'm the author - I think that it's good to signal this kind of thing redundantly, and not rely on the details of typesetting to avoid confusion. I'll create an issue in the repo to rephrase the sentence.
[ Parent | on HN ]