deka-0.6.0.0: native/native.hs

{-# OPTIONS_GHC -fno-warn-unused-imports #-}
module Main where

import AllModules
import Properties (tests)
import Test.Tasty (defaultMain)

main :: IO ()
main = defaultMain tests