From c2c3cce92084f37b8126b568661966e46724cd08 Mon Sep 17 00:00:00 2001
From: Hemant Gouni <hemant@hemantgouni.com>
Date: Mon, 16 Aug 2021 22:04:03 +0000
Subject: [PATCH] Allow nix to manage agda

---
 .envrc    |  7 +++++++
 flake.nix | 18 ++++++++++++++++++
 2 files changed, 25 insertions(+)
 create mode 100644 .envrc
 create mode 100644 flake.nix

diff --git a/.envrc b/.envrc
new file mode 100644
index 00000000..cb4f67d2
--- /dev/null
+++ b/.envrc
@@ -0,0 +1,7 @@
+use_flake() {
+    watch_file flake.nix
+    watch_file flake.lock
+    eval "$(nix print-dev-env --profile "$(direnv_layout_dir)/flake-profile")"
+}
+
+use_flake
diff --git a/flake.nix b/flake.nix
new file mode 100644
index 00000000..398b8fd8
--- /dev/null
+++ b/flake.nix
@@ -0,0 +1,18 @@
+{
+  inputs.flake-utils.url = "github:numtide/flake-utils";
+
+  outputs = { self, nixpkgs, flake-utils }:
+    flake-utils.lib.eachDefaultSystem
+    (system:
+    let pkgs = nixpkgs.legacyPackages.${system}; in {
+      devShell =
+        pkgs.mkShell {
+          buildInputs = 
+          with pkgs; [
+            emacs
+            agda
+          ];
+        };
+    });
+}
+