Search

idea-plugin / arrow.meta.ide.plugins.proofs.annotators

Package arrow.meta.ide.plugins.proofs.annotators

Properties

proofAnnotators val IdeMetaPlugin.proofAnnotators: ExtensionPhase

Do you like Arrow?

✖
Arrow Org
<
Join us at
>
slack.kotlinlang.org #arrow