liamoc/learn-you-an-agda — pull request #14 by bennn (2014-10-14 00:55:28+00:00)
Title: Broken pages links

Fixes #11 and #12