[ADP-3191] Add `Agda` and `agda2hs` to `flake.nix`#50

Open

HeinrichApfelmus wants to merge 1 commit intomainfrom HeinrichApfelmus/ADP-3191/nix-agda2hs

+165-10

Commits on Mar 13, 2024

Add agda-tools input to flake.nix
HeinrichApfelmus
committed