https://github.com/bamboo/idris-hamt

Idris Hash Array Mapped Trie
https://github.com/bamboo/idris-hamt

data-structure hash-array-mapped-trie idris trie

Last synced: 10 days ago
JSON representation

Idris Hash Array Mapped Trie

• Host: GitHub
• URL: https://github.com/bamboo/idris-hamt
• Owner: bamboo
• License: bsd-3-clause
• Created: 2016-11-15T15:11:28.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-06-15T10:24:25.000Z (over 7 years ago)
• Last Synced: 2023-03-11T02:35:00.153Z (over 1 year ago)
• Topics: data-structure, hash-array-mapped-trie, idris, trie
• Language: Idris
• Size: 5.86 KB
• Stars: 6
• Watchers: 3
• Forks: 2
• Open Issues: 2

Awesome Lists containing this project