search

alexjbest / leaff

Leaff is a diff tool for Lean environments
Apache License 2.0
15 stars 1 forks source link

Pretty print changed types #1

Open urkud opened 9 months ago

urkud commented 9 months ago

When the type of a definition/theorem changed, print old and new types. Probably, this should be activated by something like --print-changed-types.

Highlighting the differences would be awesome but even printing both types is already helpful.