aboutsummaryrefslogtreecommitdiffhomepage
path: root/default.nix
Commit message (Collapse)AuthorAgeFilesLines
* Dedicated VerifierResultJulien Tanguy2015-10-051-3/+3
| | | | | | | The Maybe (Either ValidationError ()) return type was too cryptic, now there is a real datatype for it. The validation part is unchanged and still uses the Maybe Either type
* ghc<7.10.1 compatJulien Tanguy2015-08-171-2/+3
|
* Basic validation functionsJulien Tanguy2015-08-161-3/+3
| | | | | | Still needs testing [ci skip]
* Rewrite Verifier with ValidationJulien Tanguy2015-07-081-4/+4
|
* Remove third party caveatsJulien Tanguy2015-05-131-3/+3
| | | | [ci skip]
* Edit travis config and package deps to match nixos'Julien Tanguy2015-05-061-3/+3
|
* Nixify package & documentationJulien Tanguy2015-05-061-0/+20
Added quickcheck helper