@h4nnes there's very little information. M-x idris-repl works. Path set or not doesn't matter. type ':h' & freezes