r
/
bookshelf-doc
mirror of https://github.com/jrpotter/bookshelf-doc
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity
bookshelf-doc/lean-toolchain

2 lines
6 B
Plaintext
Raw Normal View History

feat: Proper linking of all constants Previously constants in function applications where either not linked at all or linked in a weird way, this change fixes it by making use of a (as of now umerged) compiler modification as well as Lean.Widget's TaggedText.
2021-12-25 13:08:09 +00:00
lean4