Labels · leanprover/fp-lean

Issues with creating HTML from the source

A description is technically correct but doesn't effectively communicate to the target audience

Dreams

Nice to have someday but not a priority right now

New feature or request

Inaccurate information in the text

Promises

Promises to the reader that must be fulfilled later in the book

question

Further information is requested

Typo

Typographical or grammatical errors in the text

wontfix

This will not be worked on

Provide feedback