learn-you-an-agda icon indicating copy to clipboard operation
learn-you-an-agda copied to clipboard

Published 20 hours ago • verified publisher icon liamoc

The website is unavailable

Open tian2992 opened this issue 12 years ago • 5 comments

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

tian2992 avatar Oct 08 '13 23:10 tian2992

+1

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

davidfstr avatar Dec 14 '13 22:12 davidfstr

+1

SylvainDe avatar Jul 02 '14 17:07 SylvainDe

Looks like there's a nice hosted version here:

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

sritchie avatar Nov 12 '14 14:11 sritchie

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 avatar Dec 03 '14 05:12 liamoc

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

liamoc avatar Dec 03 '14 06:12 liamoc