Skip to content

[ derive ] Support printing derived gens with Idris representation #1511

[ derive ] Support printing derived gens with Idris representation

[ derive ] Support printing derived gens with Idris representation #1511

Annotations

1 error

Build and test examples (covering-seq)

failed Aug 31, 2024 in 7m 13s