Add idris to default derivation.

vor 10 Jahren · b800f1abee
--- 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 [