Learn you an Agda (2011)

Article URL: http://learnyouanagda.liamoc.net/pages/introduction.html

Comments URL: https://news.ycombinator.com/item?id=17324469

Points: 53

# Comments: 2

from Hacker News: Front Page https://ift.tt/2m3PeMo
via