Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
A Dependently Typed Functional Programming Language
Chapter 3 of Learn iOS 8 Development
Chapter 2 of Learn iOS 8 Development