Commit 2022-12-01 21:54 2e6b1a91

feat: add info and jump-to-definition for simps (#817)

• Mousing over fst or snd of @[simps fst snd] will show the generated declaration
• If no argument is given, mousing over simps will show the first generated declaration. I am not sure if we can show all of them.
• Jump to definition now works, and will either redirect to simps or the relevant argument of simps.