LambdaCat is a blog which explains visually and succinctly interesting/useful/cool Functional Programming tidbits.
Here's a short overview of how to install Idris on a Mac,
