From de82b2c5d5db9eaa17b5b29f1d115d56fcf8fafa Mon Sep 17 00:00:00 2001 From: TurtlePU Date: Thu, 10 Oct 2024 20:30:23 +0000 Subject: [PATCH] stylish-haskell auto-commit --- symbolic-examples/src/ZkFold/Symbolic/Examples.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/symbolic-examples/src/ZkFold/Symbolic/Examples.hs b/symbolic-examples/src/ZkFold/Symbolic/Examples.hs index abc18eca3..f687403ea 100644 --- a/symbolic-examples/src/ZkFold/Symbolic/Examples.hs +++ b/symbolic-examples/src/ZkFold/Symbolic/Examples.hs @@ -7,6 +7,7 @@ module ZkFold.Symbolic.Examples (ExampleOutput (..), examples) where import Control.DeepSeq (NFData) import Data.Function (const, ($), (.)) import Data.Functor.Rep (Rep, Representable) +import Data.Ord (Ord) import Data.Proxy (Proxy) import Data.String (String) import Data.Type.Equality (type (~)) @@ -30,7 +31,6 @@ import ZkFold.Symbolic.Compiler.ArithmeticCircuit (Var) import ZkFold.Symbolic.Data.ByteString (ByteString) import ZkFold.Symbolic.Data.Class import ZkFold.Symbolic.Data.Combinators (RegisterSize (Auto)) -import Data.Ord (Ord) type A = Zp BLS12_381_Scalar type C = ArithmeticCircuit A