Skip to content

Idris2 pretty printer initial support #1664

Idris2 pretty printer initial support

Idris2 pretty printer initial support #1664

Test the lib (derivation/least-effort/run/gadt)

succeeded Oct 28, 2024 in 3m 4s