diff --git a/pkgs/development/compilers/Agda-executable/default.nix b/pkgs/development/compilers/Agda-executable/default.nix
new file mode 100644
index 000000000000..4945ccd95c86
--- /dev/null
+++ b/pkgs/development/compilers/Agda-executable/default.nix
@@ -0,0 +1,13 @@
+{cabal, Agda}:
+
+cabal.mkDerivation (self : {
+  pname = "Agda-executable";
+  name = self.fname;
+  version = "2.2.10";
+  sha256 = "0jjlbz5vaz1pasfws1cy8wvllzdzv3sxm2lfj6bckl93kdrxlpy6";
+  propagatedBuildInputs = [Agda];
+  meta = {
+    description = "Command-line program for type-checking and compiling Agda programs";
+    maintainers = [self.stdenv.lib.maintainers.andres];
+  };
+})
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix
index bcc5ad8acb5c..b0e2c9f21a81 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -1027,6 +1027,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
 
   # Compilers.
 
+  AgdaExecutable = callPackage ../development/compilers/Agda-executable {};
+
   ehc = callPackage ../development/compilers/ehc {
     inherit (pkgs) fetchsvn stdenv coreutils glibc m4 libtool llvm;
   };