blagda: Shake frontend for Agda blogging

[ agpl, blog, library, program ] [ Propose Tags ] [ Report a vulnerability ]
Versions [RSS] 0.1.0.0, 0.1.0.1
Change log ChangeLog.md
Dependencies aeson, Agda, base (>=4.7 && <5), blagda, bytestring, containers, directory, mtl, mustache, pandoc, pandoc-types, process, SHA, shake, syb, tagsoup, text, time, unordered-containers, uri-encode [details]
License AGPL-3.0-only
Copyright Amélia Liao, Sandy Maguire
Author Amélia Liao
Maintainer sandy@sandymaguire.me
Category Blog
Home page https://github.com/isovector/blagda#readme
Bug tracker https://github.com/isovector/blagda/issues
Source repo head: git clone https://github.com/isovector/blagda
Uploaded by isovector at 2022-03-02T03:00:08Z
Distributions
Executables blagda
Downloads 191 total (0 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-03-02 [all 1 reports]

Readme for blagda-0.1.0.1

[back to package description]

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.