GitHub repository: stevejb71/xidris
Primary language: Shell
Description: Exercism exercism in Idris