Skip to content

Don't crash on parse errors in deriving clauses #97

Don't crash on parse errors in deriving clauses

Don't crash on parse errors in deriving clauses #97

Annotations

1 warning

Typecheck with Agda with nix (agda2hs-lib)

succeeded Sep 22, 2024 in 1m 19s