In the book, the ":" is typeset in monospace and the "." in proportional font, m... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

xigoi on May 29, 2023 | parent | context | favorite | on: Functional Programming in Lean

In the book, the ":" is typeset in monospace and the "." in proportional font, making their meaning clear.

d_christiansen on May 29, 2023 [–]

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.

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact