Advanced Exercism • idris

Square Root