From 0fa2ad6fe3310f15e932ee35e41a468f8457cb56 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <nathan@mccarty.io>
Date: Thu, 27 Oct 2022 17:46:27 -0400
Subject: [PATCH] Cleanup wsl

---
 machines/wsl/home.nix | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/machines/wsl/home.nix b/machines/wsl/home.nix
index dca958f..05c47b9 100644
--- a/machines/wsl/home.nix
+++ b/machines/wsl/home.nix
@@ -13,10 +13,7 @@
       devel = {
         core = true;
         rust = true;
-        jvm = true;
-        python = true;
-        js = true;
-        raku = true;
+        idris2 = true;
       };
       emacs = {
         enable = true;