Hacker News
- Learn you an Agda (2011) http://learnyouanagda.liamoc.net/pages/introduction.html 8 comments
- Learn you an Agda http://learnyouanagda.liamoc.net/ 24 comments
Lobsters
- Learn you An Agda And Achieve Enlightenment http://learnyouanagda.liamoc.net/ 10 comments programming
- Learn you An Agda And Achieve Enlightenment http://learnyouanagda.liamoc.net/ 26 comments haskell