MagicHaskeller: Automatic inductive functional programmer by systematic search
| Versions [faq] | 0.8.5, 0.8.6, 0.8.6.1, 0.8.6.2, 0.8.6.3, 0.9.1, 0.9.6.4.1, 0.9.6.4.2, 0.9.6.4.3, 0.9.6.4.4, 0.9.6.4.5, 0.9.6.4.6, 0.9.6.4.7, 0.9.6.5, 0.9.6.6, 0.9.6.6.1, 0.9.6.7 |
|---|---|
| Dependencies | array, base (==4.*), bytestring, containers, directory, ghc (>=6.10), ghc-paths, haskell-src, mtl, old-time, random, syb, template-haskell [details] |
| License | BSD-3-Clause |
| Author | Susumu Katayama |
| Maintainer | Susumu Katayama <skata@cs.miyazaki-u.ac.jp> |
| Category | Language |
| Home page | http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html |
| Bug tracker | mailto:skata@cs.miyazaki-u.ac.jp |
| Uploaded | by SusumuKatayama at Thu Mar 1 15:15:15 UTC 2012 |
| Distributions | NixOS:0.9.6.7 |
| Downloads | 6791 total (180 in the last 30 days) |
| Rating | (no votes yet) [estimated by rule of succession] |
| Your Rating | |
| Status | Docs not available [build log] All reported builds failed as of 2016-12-25 [all 8 reports] |
Modules
- Control
- Monad
- Search
- Control.Monad.Search.Best
- Control.Monad.Search.Combinatorial
- Search
- Monad
- MagicHaskeller
- MagicHaskeller.Analytical
- MagicHaskeller.Classification
- MagicHaskeller.ExecuteAPI610
- MagicHaskeller.Expression
- MagicHaskeller.GetTime
- MagicHaskeller.LibTH
- MagicHaskeller.Options
- MagicHaskeller.ProgGen
- MagicHaskeller.ProgGenSF
- MagicHaskeller.RunAnalytical
Flags
| Name | Description | Default | Type |
|---|---|---|---|
| ghcapi | Enable execution using the GHC API rather than the combinatory interpreter | Enabled | Automatic |
| ghc7 | GHC API version 7.* | Enabled | Automatic |
| readfile | Enable to read a component library file | Enabled | Automatic |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- MagicHaskeller-0.8.6.3.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)