UNPKG
lean4-code-actions
Version:
latest (1.1.32)
1.1.32
Refactorings and snippets for Lean 4
lean4-code-actions
/
TODO.md
4 lines
(2 loc)
•
51 B
Markdown
View Raw
1
2
3
4
# TODO
*
Document the
`renameDeclaration`
command