Use library version of substr added on commit dec7dff6223769f15fff752bb7ca0e0c11278714
Use library version of substr added on commit dec7dff6223769f15fff752bb7ca0e0c11278714

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm