name: zeno version: 0.2.0.1 cabal-version: >= 1.4 author: William Sonnex maintainer: William Sonnex synopsis: An automated proof system for Haskell programs description: Zeno is an automated proof system for Haskell program properties; developed at Imperial College London by William Sonnex, Sophia Drossopoulou and Susan Eisenbach. It aims to solve the general problem of equality between two Haskell terms, for any input value. category: Theorem Provers stability: Experimental build-type: Simple license: MIT license-file: LICENSE data-files: Zeno.hs Example.hs executable zeno hs-source-dirs: src main-is: Main.hs build-depends: base >= 4 && < 5, mtl >= 2, containers, random, array, ghc, ghc-paths, directory, text, process, transformers >= 0.2, parallel >= 3 extensions: MultiParamTypeClasses, FlexibleContexts, FlexibleInstances, ScopedTypeVariables, TypeSynonymInstances, ViewPatterns, OverloadedStrings, TypeFamilies, BangPatterns ghc-options: -funbox-strict-fields -threaded -feager-blackholing if impl(ghc >= 7) ghc-options: -with-rtsopts="-N" other-modules: Zeno.Checker, Zeno.Clause, Zeno.Core, Zeno.DataType, Zeno.Evaluation, Zeno.Expression, Zeno.Flags, Zeno.HaskellParser, Zeno.Id, Zeno.Isabelle, Zeno.Prelude, Zeno.Program, Zeno.Proof, Zeno.Property, Zeno.Reduction, Zeno.Solver, Zeno.Traversing, Zeno.Type, Zeno.Unification, Zeno.Utils, Zeno.Var, Zeno.Isabellable.Class, Zeno.Isabellable.Core, Zeno.Isabellable.Proof