#algebraic effects

Vera Language

veralang

Proof-aware Vera language support: diagnostics, hover, slot navigation, typed-hole completion, and syntax highlighting.