agda/agda — pull request #1 by masondesu (2014-06-15 12:51:55+00:00)
Title: Better README formatting for GitHub

Used Markdown to make the installation instructions much nicer and easier to read when viewing the project on GitHub.

The diff isn't very helpful, so here's a gist where you can preview the new version: https://gist.github.com/masondesu/745b94a58bc212d6387c

Thanks!