commit: bf13b24692ce5b96cb8a9fd4a3d11c0e170dbccf

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Sat Nov 23 18:13:51 2024 +0100
committer: GitHub <noreply@github.com>

Sat Nov 23 17:13:51 2024 +0000
tree: 97865b6237de6b70e5f0c3c644ca271c16475cab
parent: 51d1cc61d7d288e9dbf4111b7c26ecaaa09b055c [diff]

doc: refine kernel code comments (#6150)

I just spent too much time being confused about the kernel type checker
until I noticed that `lazy_delta_reduction` modifies its arguments.

src/kernel/type_checker.cpp[diff]

1 file changed

tree: 97865b6237de6b70e5f0c3c644ca271c16475cab

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