New top story on Hacker News: Learn you an Agda (2011)

Learn you an Agda (2011)
54 by jxub | 2 comments on Hacker News.

• Tweet
• Share
• Share
• Share
• Share