Filewatcher File Search File Search
Catalog
Content Search
» » » » »

libghc-lazysmallcheck-dev

A library for demand-driven testing of Haskell programs

Variants:
This package provides a library for the Haskell programming language.

Lazy SmallCheck is a library for exhaustive, demand-driven testing of Haskell programs. It is based on the idea that if a property holds for a partially-defined input then it must also hold for all fully-defined refinements of the that input. Compared to ``eager'' input generation as in SmallCheck, Lazy SmallCheck may require significantly fewer test-cases to verify a property for all inputs up to a given depth.

Homepage:
Package version:0.6-1+b1
Architecture:kfreebsd-i386
Distribution:Debian
Filename:libghc-lazysmallcheck-dev_0.6-1+b1_kfreebsd-i386.deb

/usr/share/doc/libghc-lazysmallcheck-dev/changelog.Debian.gz

haskell-lazysmallcheck (0.6-1+b1) sid; urgency=low

  * Binary-only non-maintainer upload for kfreebsd-i386; no source changes.
  * Rebuild against ghc 7.4.1-2

 -- kfreebsd-i386 Build Daemon (finzi) <buildd_kfreebsd-i386-finzi@buildd.debian.org>  Mon, 12 Mar 2012 02:22:26 +0000

haskell-lazysmallcheck (0.6-1) unstable; urgency=low

  * New upstream release

 -- Joachim Breitner <nomeata@debian.or
more»

/usr/share/doc/libghc-lazysmallcheck-dev/copyright

This package was debianised by Kari Pahula <kaol@debian.org> on
Fri, 10 Jul 2009. All of the Debian packaging scripts are released
into the public domain.

It was downloaded from
http://hackage.haskell.org/package/lazysmallcheck

Upstream Author: Matthew Naylor

Copyright Matthew Naylor 2006-2008.

Redistribution and use in source and binary forms, with or without
modification, are permitted provi
more»

Browse inside libghc-lazysmallcheck-dev_0.6-1+b1_kfreebsd-i386.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors
         [DIR]var/ (1)  56408+ mirrors

Download libghc-lazysmallcheck-dev_0.6-1+b1_kfreebsd-i386.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com