CurryInfo: curry-repl-1.2.0