compiler-plugin / arrow.meta.plugins.proofs

Package arrow.meta.plugins.proofs

Properties

typeProofs val Meta.typeProofs: CliPlugin

Do you like Arrow?

Arrow Org
<