Commits

Author Commit Message Labels Comments Date
Aleksey Khudyakov
Add property for identity functions
Aleksey Khudyakov
Added tag v0.1 for changeset 8e37e2fe4243
Aleksey Khudyakov
* Split Equal data type and Equalable into separate module * Improve documentation
Tags
v0.1
Aleksey Khudyakov
Add property for commutativity
Aleksey Khudyakov
Use .==.
Aleksey Khudyakov
Use generic
Aleksey Khudyakov
Generic test for monoid and Group
Aleksey Khudyakov
Cabal
Aleksey Khudyakov
Forgoten export
Aleksey Khudyakov
Documentation
Aleksey Khudyakov
Docs & cabal
Aleksey Khudyakov
Examples
Aleksey Khudyakov
All properties for monoid
Aleksey Khudyakov
Do not constraint b & c
Aleksey Khudyakov
More oops
Aleksey Khudyakov
Ooops
Aleksey Khudyakov
Make properties more composable
Aleksey Khudyakov
Rename module Utils to Common
Aleksey Khudyakov
More doc
Aleksey Khudyakov
Some improvements in Doc
Aleksey Khudyakov
.hgignore
Aleksey Khudyakov
Update cabal file
Aleksey Khudyakov
Functor laws
Aleksey Khudyakov
More properties
Aleksey Khudyakov
Properties for monoids
Aleksey Khudyakov
Set of generic properties
Aleksey Khudyakov
Compare for equality
Aleksey Khudyakov
Cabal init