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

2 errors

Build and test examples (sorted-tree-naive)

cancelled Aug 31, 2024 in 7m 16s