[ derive ] Support printing derived gens with Idris representation #1511
Annotations
1 error
Run pack test deptycheck "derivation/least-effort/print/gadt"
Process completed with exit code 1.
|
Loading