module Main (main) where import qualified Test.Cardano.Crypto.Leios import Test.Hspec (hspec) import Prelude main :: IO () IO () main = Spec -> IO () hspec Spec Test.Cardano.Crypto.Leios.spec