Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Dedicated VerifierResult | Julien Tanguy | 2015-10-05 | 1 | -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 compat | Julien Tanguy | 2015-08-17 | 1 | -2/+3 |
| | |||||
* | Basic validation functions | Julien Tanguy | 2015-08-16 | 1 | -3/+3 |
| | | | | | | Still needs testing [ci skip] | ||||
* | Rewrite Verifier with Validation | Julien Tanguy | 2015-07-08 | 1 | -4/+4 |
| | |||||
* | Remove third party caveats | Julien Tanguy | 2015-05-13 | 1 | -3/+3 |
| | | | | [ci skip] | ||||
* | Edit travis config and package deps to match nixos' | Julien Tanguy | 2015-05-06 | 1 | -3/+3 |
| | |||||
* | Nixify package & documentation | Julien Tanguy | 2015-05-06 | 1 | -0/+20 |
Added quickcheck helper |