Skip to content

Merge pull request #176 from rzk-lang/better-parse-error-diagnostics #189

Merge pull request #176 from rzk-lang/better-parse-error-diagnostics

Merge pull request #176 from rzk-lang/better-parse-error-diagnostics #189

Annotations

1 warning

Check Rzk formalizations

succeeded Apr 2, 2024 in 4s