| MagicHaskeller-0.8.6.2: Automatic inductive functional programmer by systematic search | Contents | Index |
|
|
|
|
Synopsis |
|
|
|
Documentation |
|
newtype ProgGen |
The vanilla program generator corresponding to Version 0.7.*
| Constructors | PG (MemoDeb CoreExpr) | internal data representation
|
| Instances | |
|
|
Produced by Haddock version 2.7.2 |