Advanced Exercism • idris

Triangle