Skip to content

Commit

Permalink
stylish-haskell auto-commit
Browse files Browse the repository at this point in the history
  • Loading branch information
TurtlePU authored and actions-user committed Oct 10, 2024
1 parent 96cf0b9 commit de82b2c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion symbolic-examples/src/ZkFold/Symbolic/Examples.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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 (~))
Expand All @@ -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
Expand Down

0 comments on commit de82b2c

Please sign in to comment.