commit: 7ae15ef48d6eb94b4da8168a614bc2a0bc6e03db

[log]
author: Henrik Böving <hargonix@gmail.com>

Fri Jan 17 19:15:22 2025 +0100
committer: Henrik Böving <hargonix@gmail.com>

Fri Jan 17 19:15:22 2025 +0100
tree: b978ca476379d3fafd37be7a3ed3a75a7ee8920b
parent: e3fd954318fb23038455e27a193cd63d8dad432d [diff]

fix: allow ⱼ in identifiers

src/Init/Meta.lean[diff]
tests/lean/run/subscript_parser.lean[Added - diff]

2 files changed

tree: b978ca476379d3fafd37be7a3ed3a75a7ee8920b

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).