diff --git a/pkgs/development/compilers/Agda-stdlib/default.nix b/pkgs/development/compilers/Agda-stdlib/default.nix
new file mode 100644
index 00000000000..d71713674f7
--- /dev/null
+++ b/pkgs/development/compilers/Agda-stdlib/default.nix
@@ -0,0 +1,26 @@
+{ cabal, fetchurl }:
+
+cabal.mkDerivation (self: {
+  pname = "Agda-stdlib";
+  version = "0.7";
+
+  src = fetchurl {
+    url = "http://www.cse.chalmers.se/~nad/software/lib-0.7.tar.gz";
+    sha256 = "1ynjgqk8hhnm6rbngy8fjsrd6i4phj2hlan9bk435bbywbl366k3";
+  };
+
+  preConfigure = "cd ffi";
+
+  postInstall = ''
+      mkdir -p $out/share
+      cp -pR ../src $out/share/agda
+  '';
+
+  meta = {
+    homepage = "http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary";
+    description = "A standard library for use with the Agda compiler.";
+    license = "unknown";
+    platforms = self.ghc.meta.platforms;
+    maintainers = [ self.stdenv.lib.maintainers.jwiegley ];
+  };
+})
\ No newline at end of file
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix
index be8646838cc..234b630ece9 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -2923,6 +2923,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.finalReturn x
 
   AgdaExecutable = callPackage ../development/compilers/Agda-executable {};
 
+  AgdaStdLib = callPackage ../development/compilers/Agda-stdlib {};
+
   uhc = callPackage ../development/compilers/uhc {};
 
   epic = callPackage ../development/compilers/epic {};