CurryInfo: runcurry-3.0.0 / RunCurry: all operations

checkFirstArg execAndDeleteCurryProgram execCurryProgram execOrJIT getNewProgramName isExecutable isHashJITOption main noHashLine replOpts saveCurryProgram stripSpaces usageMsg