GitHub repository: ErikSchierboom/idris
Primary language: Idris
Description: Exercism exercises in Idris.