Priority: Highdiscussionhelp wanted
Repository metrics
- Stars
- (479 stars)
- PR merge metrics
- (PR metrics pending)
Description
The new version (v0.3) of this plugin will require a definition file in order to exploit refinements and runtime type introspection.
I'm working on a first draft but I'm not sure what's the best practice. Where can I put the definition file?
tcomb's' repo- this repo
- a new dedicated repo