Loreon
Labs
Platform
Docs
Home
Ecosystems
Idris
hashable-derive
UARTman/hashable-derive
Idris
Emerging
GitHub
Stars
1
Forks
—
Contributors
1
Last push
6mo ago
Recent commits
Latest commits.
[ fix ] Ignore FC when hashing
37a80fe
Anton Gusev
6mo ago
export Data.Hashable.Base in package
9c17881
Anton Gusev
6mo ago
hash doubles via show
d60f7c1
Anton Gusev
7mo ago
[ init ] Implement `Hashable` derivation
b27a4ce
Anton Gusev
7mo ago
Top contributors
Builders behind this project.
UARTman
4 commits