Mahir Exercism • idris

Pythagorean Triplet