agda/agda — pull request #2 by masondesu (2014-06-15 14:12:28+00:00)
Title: Fixed broken links in TOC in README.md

Just fixes two typos in the urls in the Table of Contents.