Closed akc closed 7 years ago
Got rid of a few transformation that were either trivial or unintuitive.
Provided newtypes for a few different types of power series to simplify writing concise tests.
Introduced "Indet" and "DZ" in the grammar to facilitate debugging.
@bawolk : I made a PR out of this in case you have some comments/suggestions before I merge this into master.
I admire your QuickCheck wizardry!
Thanks ;-)
Got rid of a few transformation that were either trivial or unintuitive.
Provided newtypes for a few different types of power series to simplify writing concise tests.
Introduced "Indet" and "DZ" in the grammar to facilitate debugging.