Advanced Exercism • idris

Nth Prime