Make go-to-definition on a typeclass projection application go to the instance(s)#1767
Merged
Kha merged 25 commits intoleanprover:masterfrom rish987:go-to-instanceJan 19, 2023
+281-45
Commits
Commits on Nov 27, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 28, 2022
Commits on Dec 1, 2022
Commits on Dec 6, 2022
Commits on Dec 12, 2022
Commits on Jan 1, 2023
Commits on Jan 3, 2023
Commits on Jan 17, 2023
- committed
- committed