Agda-2.3.2.2: src/prototyping/mixfix/benchmarks/mixfix-benchmarks.cabal
name: benchmarks
version: 0.0
cabal-version: >= 1.8
build-type: Simple
description: Some benchmarks
executable mixfix-benchmarks
hs-source-dirs: .
main-is: Test.hs
build-depends: base >= 4.2 && < 4.7,
QuickCheck == 2.4.*,
mtl >= 2.0 && < 2.2,
fgl == 5.4.*,
containers >= 0.4 && < 0.6,
ghc-prim >= 0.2 && < 0.4,
incremental-parser == 0.2.*