@hackage blagda0.1.0.1

Shake frontend for Agda blogging

Blagda

It's a blogging platform for Agda/markdown, based on the wonderful 1Lab. But I've done a bad job of porting it, so this is a total mess and I'm sorry.