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 (uniq-list)

cancelled Aug 31, 2024 in 7m 18s