MagicHaskeller: Automatic inductive functional programmer by systematic search

MagicHaskeller is an inductive functional programming system for Haskell. This package contains the MagicHaskeller library, which can be used within GHCi or as an API for inductive program synthesis. It also contains the MagicHaskeller executable that is a standalone synthesis program which can be used interactively or as a backend server, and the MagicHaskeller.cgi executable that is a CGI frontend for providing the Web interface.

Modules

[Last Documentation]

Flags

Automatic Flags

Name	Description	Default
tfrandom	Use the tf-random package instead of the random package	Enabled
ghcapi	Enable execution using the GHC API rather than the combinatory interpreter	Enabled
readfile	Enable to read a component library file	Enabled
debug	Force typechecking at each dynamic application	Disabled
networkuri	Find Network.URI in network-uri rather than in network < 2.6 (This is a workaround for the changes made in those packages.)	Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

• MagicHaskeller-0.9.6.4.7.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• SusumuKatayama

For package maintainers and hackage trustees

• edit package information

Candidates

• 0.9.6.5, 0.9.6.7