| Commit message (Collapse) | Author | Files | Lines |
|
Now, we speak only about equivalence.
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
|
|
We revamp the typeclass mechanisms and we add an equality hypothesis
now.
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
|
|
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
|
|
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
|
|
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
|
|
Move forward the "HSpec" idea, move around files, construct the hierarchy of trees, etc.
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
|