fix: re-enable hovers on literals - Githubissues

leanprover / verso

Lean documentation authoring tool

Apache License 2.0

120 stars 14 forks source link

fix: re-enable hovers on literals #120

Closed david-christiansen closed 3 months ago