Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
Idris2-hashable
Interface for types that can be hashed.
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
3
Last push
7mo ago
Recent commits
Latest commits.
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
fix build DEPRECATION warning: update record update syntax
90e03f6
Joel Berkeley
46mo ago
implement `Hashable` for `Pair`
18b5cc1
Joel Berkeley
50mo ago
Top contributors
Builders behind this project.
Z-snails
17 commits
joelberkeley
3 commits
Matthew-Mosior
2 commits
