The latest version of MagicHaskeller is 0.9.7.1-0.
MagicHaskeller
Version 0.8.6 revision 0 uploaded by SusumuKatayama.
Package meta
- Synopsis
- Automatic inductive functional programmer by systematic search
- Description
- Author
- Susumu Katayama
- Bug reports
- n/a
- 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