Try to depend on standard-library

cardano-scaling · Jun 18, 2024 · b5de872 · b5de872
1 parent 38ce47e
commit b5de872
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 1 deletion.
diff --git a/Hydra/Protocol/Main.lagda b/Hydra/Protocol/Main.lagda
@@ -67,6 +67,8 @@ Date: \today
 \begin{code}
 module Hydra.Protocol.Main where
 
+open import Data.Nat
+
 data HydraState : Set where
   Idle         : HydraState
   Open         : HydraState

diff --git a/flake.nix b/flake.nix
@@ -20,7 +20,7 @@
               pname = "hydra-formal-specification";
               version = "0.0.1";
               src = ./.;
-              buildInputs = [ pkgs.agda ];
+              buildInputs = [ pkgs.agda pkgs.agdaPackages.standard-library ];
               meta = { };
               buildPhase = ''
                 agda --latex Hydra/Protocol/Main.lagda

diff --git a/hydra-formal-specification.agda-lib b/hydra-formal-specification.agda-lib
@@ -0,0 +1,4 @@
+name: hydra-formal-specification
+depend:
+  standard-library
+include: .