IntersectMBO / plutus

The Plutus language implementation and tools

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Use tagref?

L-as opened this issue · comments

Describe the feature you'd like

Found https://github.com/stepchowfun/tagref on the Haskell subreddit.

Describe alternatives you've considered

No response

Thanks for your suggestion. We've made a note and talked about it. We currently don't feel a strong need for this. Have you tried it in other projects? What's your user experience?

It would be better if tags can be customized, since we use Note [title] and See Note [title] throughout the repo.

I have not tried this. I just thought it's interesting.

Closing this for now.