Loreon
Labs
Platform
Docs
Home
Ecosystems
Idris
Idris2-hashable
Interface for types that can be hashed.
Idris
Emerging
GitHub
Stars
11
Forks
4
Contributors
4
Last push
7mo ago
Recent commits
Latest commits.
Merge pull request #10 from UARTman/unpack
af0b5e0
Zoe Stafford
7mo ago
[ fix ] Use `unpack` instead of `fastUnpack`
1b7f0d8
Anton Gusev
7mo ago
Merge pull request #9 from Matthew-Mosior/deprecation-warning
0eb2bf2
Zoe Stafford
17mo ago
Adding export modifier to remove deprecation warnings.
3f3fd7a
Matthew-Mosior
17mo ago
Merge pull request #8 from Matthew-Mosior/remove-contrib-dependency
39dbe1d
Zoe Stafford
17mo ago
Removed contrib dependency.
c021106
Matthew-Mosior
17mo ago
Merge pull request #7 from joelberkeley/deprecation-warning
5615bd4
Zoe Stafford
46mo ago
Merge pull request #6 from joelberkeley/pair
2e522ad
Zoe Stafford
46mo ago
Top contributors
Builders behind this project.
Z-snails
18 commits
joelberkeley
3 commits
Matthew-Mosior
2 commits
UARTman
1 commits
