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
Stargazers
bobbbay
Canada
ska80
Bishkek, Kyrgyzstan
Russoul
Tbilisi, Georgia
nikitavoloboev
Tbilisi
DejanMilicic
Serbia