From bcd0288107fc6035c3ace20aa2c8098ca4c46c32 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Thu, 9 Jan 2025 11:59:37 -0500
Subject: [PATCH] Seperate out raku from idris environment

---
 devshells/idris2.nix | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/devshells/idris2.nix b/devshells/idris2.nix
index 69508ac..358cfea 100644
--- a/devshells/idris2.nix
+++ b/devshells/idris2.nix
@@ -11,18 +11,6 @@
     {
       devShells.idris2 =
         let
-          rakudo_env = pkgs.buildEnv {
-            name = "rakudo-env";
-            paths = with pkgs; [
-              rakudo
-              zef
-            ];
-            pathsToLink = [
-              "/bin"
-              "/lib"
-              "/share"
-            ];
-          };
           libPackages = with pkgs; [
             readline70
             openssl
@@ -40,7 +28,6 @@
               gnumake
               chez
               rlwrap
-              rakudo_env
             ]
             ++ libPackages;
           shellHook = ''