Download built-in functions of string in python by idris mibweb