Temporarily disable idris bi package

See sbp/idris-bi#31
infinisil · Jun 22, 2018 · 7a1e5cc · 7a1e5cc
1 parent c1eaedc
commit 7a1e5cc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/config/new-modules/dev/idris.nix b/config/new-modules/dev/idris.nix
@@ -10,7 +10,7 @@ let
     effects
     pruviloj
     lightyear
-    bi
+    #bi
   ];
 
 in