Skip to content

Make the nix development compatible with flake-less nix #127

Make the nix development compatible with flake-less nix

Make the nix development compatible with flake-less nix #127

Annotations

1 warning

Compile agda2hs with nix (agda2hs)

succeeded Dec 18, 2024 in 1m 40s