Skip to content

Pretty-print signatures in hover and #check <ident>#1943

Merged
gebner merged 6 commits intoleanprover:masterfrom Kha:pp-sigDec 21, 2022

Commits

Commits on Dec 9, 2022

Commits on Dec 12, 2022

Commits on Dec 14, 2022