The latest version of extrapolate is 0.4.6-0.
lib:extrapolate
Modules
- Test.Extrapolate
- Test.Extrapolate.ConditionalGeneralization
- Test.Extrapolate.Core
- Test.Extrapolate.Expr
- Test.Extrapolate.Generalizable
- Test.Extrapolate.Generalizable.Derive
- Test.Extrapolate.Generalization
- Test.Extrapolate.IO
- Test.Extrapolate.Speculation
- Test.Extrapolate.Testable
- Test.Extrapolate.TypeBinding
- Test.Extrapolate.Utils
Dependencies
- base lib:base >=4 && <5
- express lib:express >=0.1.0
- leancheck lib:leancheck >=0.9.1
- speculate lib:speculate >=0.4.0
- template-haskell lib:template-haskell >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- extrapolate test:derive
- extrapolate test:new
- extrapolate test:step-by-step
- extrapolate test:test
- extrapolate test:utils