RingIdris. Ring solver for Idris

github.com/FranckS/RingIdris
by @FranckS

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.