The latest version of MagicHaskeller is 0.9.7.1-0.
MagicHaskeller
Version 0.9.6.4.3 revision 0 uploaded by SusumuKatayama.
Package meta
- Synopsis
- Automatic inductive functional programmer by systematic search
- Description
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.
- Author
- Susumu Katayama
- Bug reports
- mailto:skata@cs.miyazaki-u.ac.jp
- Category
- Language
- Copyright
- n/a
- Homepage
- http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html
- Maintainer
- Susumu Katayama <skata@cs.miyazaki-u.ac.jp>
- Package URL
- n/a
- Stability
- experimental