@hackage blagda0.1.0.1

Shake frontend for Agda blogging

Categories
License
AGPL-3.0-only
Maintainer
sandy@sandymaguire.me
Links
Versions
- 0.1.0.1 Wed, 2 Mar 2022
- 0.1.0.0 Wed, 2 Mar 2022

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.

Installation
In your cabal file:
Dependencies (19)
- base >=4.7 && <5
- bytestring
- containers
- directory
- mtl
- process
Dependents (0)

@hackage blagda0.1.0.1

Categories

License

Maintainer

Links

Versions

Blagda

Installation

Dependencies (19)

Dependents (0)