git.iko.soy/Idris-dev
on cd87fcd help sign in
history oflibs/base/Data/String.idr
all commits
5ddb7a3Extra check in parseIntegerDmitry Nikulin f754d9cPurify Idris of "return"David Christiansen 8442cefDeprecate '%assert_total'Edwin Brady ea0966eFix string to positive number conversion (#3129)Saurabh Rawat 68c019aChange export qualifier keywordsEdwin Brady 07a80b2Make Data.String functions available.Imuli 22dfecaParsing doubles from stringsSaurabh Rawat 7ae1321fix exampleSaurabh Rawat c2a473aremoved unnecessary casts, style fixesSaurabh Rawat 9302809Integer overflow fix, style fixesSaurabh Rawat 01a11c7parsing negative and non negative numbersSaurabh Rawat