@hackage blagda0.1.0.1
Shake frontend for Agda blogging
Categories
License
AGPL-3.0-only
Maintainer
sandy@sandymaguire.me
Links
Versions
Installation
Dependencies (19)
- Agda
- SHA
- aeson
- base >=4.7 && <5
- bytestring
- containers Show all…
Dependents (0)
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.