From f91e92bd543ef087eaaf52765346e1c5adc65312 Mon Sep 17 00:00:00 2001
From: Mathew Polzin <matt.polzin@gmail.com>
Date: Mon, 12 Feb 2024 21:43:19 -0600
Subject: [PATCH] Add a dev shell to the flake

---
 flake.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/flake.nix b/flake.nix
index 2fe7497ce..e267e99f6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -74,6 +74,9 @@
             inherit pkgs idris-emacs-src idris2Pkg;
           });
           inherit buildIdris;
+          devShells.default = pkgs.mkShell {
+            packages = idris2Pkg.buildInputs;
+          };
         };
     in lib.mkOvrOptsFlake
     (opts: flake-utils.lib.eachDefaultSystem (per-system opts) // sys-agnostic);