name: turing version: 0.1.0.0 -- synopsis: -- description: homepage: https://turing.heimi.li license: BSD3 license-file: LICENSE author: Guillermo Ramos maintainer: guillermo.ramos@imdea.org copyright: 2017 Guillermo Ramos category: Math build-type: Simple extra-source-files: README.md cabal-version: >=1.10 library hs-source-dirs: src exposed-modules: Turing.Machine , Turing.Examples build-depends: base >= 4.7 && < 5 , containers default-language: Haskell2010 executable turing-cli hs-source-dirs: app main-is: Main.hs ghc-options: -threaded -rtsopts -with-rtsopts=-N build-depends: base , turing default-language: Haskell2010 test-suite turing-test type: exitcode-stdio-1.0 hs-source-dirs: test main-is: Spec.hs build-depends: base , turing ghc-options: -threaded -rtsopts -with-rtsopts=-N default-language: Haskell2010 -- source-repository head -- type: git -- location: https://github.com/githubuser/turing