blagda-0.1.0.0: README.md
# 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.
# 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.