Should OPAM related threads be categorized as Build for the time being?
FWIW, I’m also in favor of broader categories to start with and then subdividing/recategorizing as certain topics become more popular.
Should OPAM related threads be categorized as Build for the time being?
FWIW, I’m also in favor of broader categories to start with and then subdividing/recategorizing as certain topics become more popular.