Kotlin 1.0リリース記念エントリってわけじゃないけど、ちょっと気になるこのプラグイン。 Edu Kotlin - Plugins | JetBrains PyCharm Educational Editionよろしく、Kotlinの学習ができるみたい。 というか、このエディションの機能をプラグイン化したって…