liamoc/learn-you-an-agda — pull request #9 by evelynmitchell (2013-09-02 22:53:44+00:00)
Title: Fixed links learnyouahaskell.com

They weren't resolving outside of github.