Loreon
Labs
Platform
Docs
Home
Ecosystems
Idris
idris2-voting
Voting Systems
Idris
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
2mo ago
Recent commits
Latest commits.
Dont use sop, because its not necessary here.
263762d
Felix Springer
2mo ago
Use Generics for Show instance.
6f704de
Felix Springer
2mo ago
Adding dependencies works.
e48ad87
Felix Springer
2mo ago
Update dependencies.
0dc891f
Felix Springer
2mo ago
Start with a more sensible module hierarchy.
2767791
Felix Springer
20mo ago
Add some whitespace.
ab9eff1
Felix Springer
20mo ago
Working voting algorithm.
b2fe24e
Felix Springer
20mo ago
Init repository.
5da40e8
Felix Springer
20mo ago
Top contributors
Builders behind this project.
jumper149
8 commits
