Blog posts about #agda

I would like to give a quick shout-out to Aron and his blog aronwith1a.com.

This has nothing to do with the fact that I get to use the tags haskell, maths and agda.