@hackage / blagda

Shake frontend for Agda blogging

Latest0.1.0.1

About

Metadata

  • Last updated , by isovector
  • License AGPL-3.0-only

  • Maintained by: sandy@sandymaguire.me

  • Lottery factor: 0

Links

Installation

Readme

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.