Add agdaWithPackages to the default devShell

carlostome · williamdemeo · commit 66ffaf5ea5a9 · 2025-10-17T00:42:38.000-06:00
diff --git a/flake.nix b/flake.nix
@@ -96,6 +96,7 @@
           devShells = with nixpkgs; {
             default = mkShell {
               packages = [
+                agdaWithPackages
                 fls-shake
                 python3
                 coreutils
