I have a small number of questions on issues I have encountered while working with the Idris language, specifically trying to utilize it as a theorem proving language, and I am tempted to ask my question in the new proof assistant SE site. Idris, however, is explicitly designed as a general purpose programming language rather than a proof assistant, and most of my questions are essentially of "Why won't this thing typecheck?" form or confusion over Idris type system, similar to many questions you would see for Haskell, and it feels more appropriate to ask on SO. I would imagine this same question would apply to other similar languages as well as the rare case when theorem proving is done in Haskell with its hurdles.
Where would these questions be more appropriate?