switch back to the upstream agda2hs

jespercockx · Jan 19, 2024 · 01285e9 · 01285e9
1 parent 1a87d80
commit 01285e9
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 8 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -5,9 +5,8 @@
   inputs.flake-utils.url = github:numtide/flake-utils;
   inputs.agda2hs-src = {
      type = "github";
-     owner = "jespercockx";
+     owner = "agda";
      repo = "agda2hs";
-     ref = "DelayMonad";
      flake = false;
   };