git.iko.soy/Idris-dev
on master help sign in
Modified REPL banner statement.
0793e47Jan de Muijnck-Hughes
src/Idris/REPL.hs+2−2
compare with master
unifiedsplit
@@ -1397,9 +1397,9 @@ banner = " ____ __ _ \n" ++
1397 " / _/___/ /____(_)____ \n" ++
1397 " / _/___/ /____(_)____ \n" ++
1398 " / // __ / ___/ / ___/ Version " ++ ver ++ "\n" ++
1398 " / // __ / ___/ / ___/ Version " ++ ver ++ "\n" ++
1399 " _/ // /_/ / / / (__ ) http://www.idris-lang.org/ \n" ++
1399 " _/ // /_/ / / / (__ ) http://www.idris-lang.org/ \n" ++
1400− " /___/\\__,_/_/ /_/____/ Type :? for help \n" ++
1400+ " /___/\\__,_/_/ /_/____/ Type :? for help \n" ++
1401 "\n" ++
1401 "\n" ++
1402− "Idris is a research tool distributed with ABSOLUTELY NO WARRANTY.\n" ++
1402+ "Idris is free software with ABSOLUTELY NO WARRANTY. \n" ++
1403 "For details type :warranty."
1403 "For details type :warranty."
1404
1404
1405warranty = "\n" ++
1405warranty = "\n" ++