Skip to content

Docs: tweak features.md #118

Docs: tweak features.md

Docs: tweak features.md #118

Annotations

1 warning

Compile agda2hs with nix (agda2hs)

succeeded Oct 3, 2024 in 1m 1s