[ fix #978 ] Mention Editor Plugins in README (#1111)
[ fix #978 ] Mention Editor Plugins in README (#1111)


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