Mahir Exercism • idris

Triangle