From b800f1abeebc6c117d41e60a42ccf31415f02299 Mon Sep 17 00:00:00 2001
From: Mitch Tishmack <mitch.tishmack@gmail.com>
Date: Wed, 1 Jun 2016 08:34:06 -0500
Subject: [PATCH] Add idris to default derivation.

---
 nix.org | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nix.org b/nix.org
index ba49e79..a75d018 100644
--- a/nix.org
+++ b/nix.org
@@ -118,6 +118,7 @@ in
         haskellPackages.shake
         haskellPackages.ShellCheck
         haskellPackages.stack
+        haskellPackages.idris
         haskellPackages.nats
         haskellPackages.transformers-compat
       ] ++ stdenv.lib.optionals stdenv.isLinux [