Name: MagicHaskeller
Version: 0.8.5
License: BSD3
License-File: LICENSE
Copyright: Copyright: (c) 2009 Susumu Katayama
Author: Susumu Katayama
Maintainer: Susumu Katayama <skata@cs.miyazaki-u.ac.jp>
Stability: experimental
Homepage: http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html
Synopsis: Automatic inductive functional programmer by systematic search
Build-Type: Simple
Category: Language
-- Tested-with: ghc=6.8.2
Build-depends: template-haskell, base >= 3 && < 4, containers, array, random
Exposed-modules: MagicHaskeller, Control.Monad.Search.Combinatorial, MagicHaskeller.ProgGen, MagicHaskeller.ProgGenSF, MagicHaskeller.ProgGenXF, MagicHaskeller.Expression, MagicHaskeller.LibTH
Other-modules: MagicHaskeller.Types, MagicHaskeller.PriorSubsts, Data.Memo, MagicHaskeller.ClassifyTr, MagicHaskeller.Classification,
MagicHaskeller.CoreLang, MagicHaskeller.DebMT, MagicHaskeller.TyConLib,
MagicHaskeller.FakeDynamic, MagicHaskeller.ReadTypeRep,
MagicHaskeller.ReadTHType, MagicHaskeller.TimeOut, MagicHaskeller.Execute, MagicHaskeller.T10,
MagicHaskeller.Instantiate, MagicHaskeller.Classify, MagicHaskeller.MHTH, MagicHaskeller.MyCheck,
MagicHaskeller.ExprStaged, MagicHaskeller.Combinators, MagicHaskeller.ReadDynamic,
MagicHaskeller.MyDynamic, MagicHaskeller.ClassifyDM, MagicHaskeller.ProgramGenerator
Extensions: CPP, TemplateHaskell
GHC-options: -O2 -fvia-C
cpp-options: -DCHTO