RingIdris

Ring solver for Idris

GitHub
20 stars
5 watching
4 forks
Language: Idris
last commit: almost 6 years ago
Linked from 1 awesome list


Backlinks from these awesome lists: