Learn You an Agda and Achieve Enlightenment! 🕑 2016-03-02T02:28:38+00:00; try the Wayback Machine | edit Also, here’s a one-page version.