Advanced Exercism • idris

Pythagorean Triplet