2024-12-22

This is a quick fix for an issue with hosting. No new content.

2024-12-16r2

This fixes a last-minute HTML rendering issue in today's release, as well as a typo.

2024-12-16

This is the initial public release of the Lean Language Reference.

Public Preview 4.1

This updated preview fixes many of the mobile browser issues pointed out on Zulip. Thanks!

Public Preview 4

This preview, hopefully the final one prior to a release, greatly improves the display on mobile devices.

New content:

• Type classes
• Notations and Macros

Public Preview 3

Fixes various aspects of deployment

Public preview 2

Adds the following interface improvements:

• Links to source repository and issue tracker on every page
• Permalink indicators for sections and reference documentation
• Relative navigation buttons (up, previous, next section/chapter) in table of contents

Public preview

The initial public preview of the new reference manual, prior to the first release.