Update README to indicate WIP for Idris 2 0.3.0
Update README to indicate WIP for Idris 2 0.3.0
mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm