lol-0.3.0.0: benchmarks/Main.hs
import CycBenches import TensorBenches import UCycBenches import ZqBenches import Criterion.Main main :: IO () main = defaultMain =<< sequence [ zqBenches, tensorBenches, ucycBenches, cycBenches ]
import CycBenches import TensorBenches import UCycBenches import ZqBenches import Criterion.Main main :: IO () main = defaultMain =<< sequence [ zqBenches, tensorBenches, ucycBenches, cycBenches ]