GitHub repository: liamoc/learn-you-an-agda
Primary language: Agda
Description: Learn you an Agda (and achieve enlightenment)