MagicHaskeller

Automatic inductive functional programmer by systematic search

http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html

Latest on Hackage:

0.9.7.1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed by Susumu Katayama

Maintained by Susumu Katayama

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.