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

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

Properties

scriptEngine Please, set the following property in build.gradle as true, to view/enable the errors thrown by the engine in the ide.var scriptEngine: ScriptEngine?

Do you like Arrow?

Arrow Org
<