Raoul

Die Kommunikation teilt sich, wenn es mehr als eine direkte Antwort auf ein Posting gibt. Das ist auch genau der Fall bei denen momentan die vertikale Orientierungslinie angezeigt wird. Das...

Hi, I had the same error. In my case, the ipkg-filename had a typo (it ended on `.ipgk` rather than on `.ipkg`). After fixing the typo, I ran `idris --checkpkg...

The question is a lot about how opinionated the code-generator wants to be. PSR-4 is surely a good indicator for code-quality, at very least it shows that the author is...

I had the same issue, in my case i simply forgot to select a specific group within the creation-form.

Yep, worked for me. Thanks.