The previous page is sending you to http://typetheorypodcast.com/2014/09/episode-2-edwin-brady-on-idris/.

 If you do not want to visit that page, you can return to the previous page.