Commit 2026-03-25 09:06 ab40faf9

View on Github →

feat(Tactic/Recall): allow docstrings on recall (#37141) This PR allows doc-strings to be placed before the recall command. The docstrings are parsed but ignored, since recall doesn't introduce a new declaration. This is useful when recall is used in expository files where surrounding declarations have docstrings. šŸ¤– Prepared with Claude Code

Estimated changes