The website is unavailable

[tian2992]

Tried accessing http://learnyouanagda.com/ and it gave me a parking page.

[davidfstr]

+1

I'm finding the content of this website very useful, but reading the Markdown source directly from the repository is rather cumbersome.

[SylvainDe]

+1

[sritchie]

Looks like there's a nice hosted version here:

http://williamdemeo.github.io/2014/02/27/learn-you-an-agda/#fnref:4

[liamoc]

I originally had a friend who parked the domain but I suspect he's let it go. I will host it properly on my own website shortly.

[liamoc]

I'm hosting it at http://learnyouanagda.liamoc.net now. It's updated since williamdemeo's version.