Just learning Idris. Contribute to jinjor/idris-lightsout development by creating an account on GitHub.