starper

Results 1 issues of starper

This error happens when there is an import from a parent folder. Let's say that we have a little project: **src\main.ipkg** ```idris package "main" main = Main opts = "--codegen...

enhancement