DepTyCheck
About this documentation
Tutorials
How-to guides
Reference
Explanation
Generators
Design of generators
Limitations
Temporary design decisions
To be fixed/reworked
Things to be done
Derivation of generators
Specifications as data types
DepTyCheck
Explanation
Generators
Limitations
View page source
Limitations
Temporary design decisions
Gen
monad
is
significantly finite
To be fixed/reworked