ghc-chasingbottoms 1.3.1.7 Testing of partial and infinite values in Haskell
This is a library for testing code involving bottoms or infinite values. For the underlying theory and a larger example involving use of QuickCheck, see the article "Chasing Bottoms A Case Study in Program Verification in the Presence of Partial and Infinite Values".
- Website: https://hackage.haskell.org/package/ChasingBottoms
- License: Expat
- Package source: haskell-xyz.scm
- Patches: None
- Builds: x86_64-linux, i686-linux