Geeks
polendri
/
idris-collections
Verified data structures in Idris 2
Primary Language
Idris
MIT License
MIT
idris-collections GitHub
Markdown
Readme
0
Issues
5
Stargazers
3
Watchers
idris-collections
Verified data structures in Idris 2