CurryInfo: curry-repl