From 98dd190e465e4ecc6a43bdd0268cf563d689170f Mon Sep 17 00:00:00 2001
From: Kjetil Orbekk <kjetil.orbekk@gmail.com>
Date: Wed, 15 Feb 2017 08:06:14 -0500
Subject: Install idris.

---
 nixos/configuration.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'nixos/configuration.nix')

diff --git a/nixos/configuration.nix b/nixos/configuration.nix
index bbbef82..c65ff35 100644
--- a/nixos/configuration.nix
+++ b/nixos/configuration.nix
@@ -92,6 +92,7 @@
     wdfs
     whois
     dhcpcd
+    haskellPackages.idris
 
     dnsutils
     # fonts
-- 
cgit v1.2.3