Learn You an Agda

Comments



from Hacker News http://bit.ly/11Qa4R0