# Blagda

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