GitHub repository: jutaro/YCombinator
Primary language: Idris
Description: Excercises from riddle book "To mock a Mockingbird"