commit: d6a7eb3987c612fed2df8a986883a079f7cefcfe

[log]
author: David Thrane Christiansen <david@davidchristiansen.dk>

Thu Oct 17 16:46:10 2024 +0200
committer: GitHub <noreply@github.com>

Thu Oct 17 14:46:10 2024 +0000
tree: bcd81062196a88cc4b8f9baa661ddc5f54984d4f
parent: fc5e3cc66e3f317a03a17d9b19cc8d6476cf31cd [diff]

feat: add Hashable instance for Char (#5747)

I needed this in downstream code, and it seems to make the most sense to
just contribute it here.

src/Init/Data/Hashable.lean[diff]

1 file changed

tree: bcd81062196a88cc4b8f9baa661ddc5f54984d4f

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).