GitHub repository: stevejb71/idris-exercises
Primary language: Idris
Created: 2016-12-25T20:58:26Z
Description: Exercises from the Idris Type Driven Development book