blagda: Shake frontend for Agda blogging

[ agpl, blog, library, program ] [ Propose Tags ]
Versions [RSS],
Change log
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
Category Blog
Home page
Bug tracker
Source repo head: git clone
Uploaded by isovector at 2022-03-02T03:00:08Z
Executables blagda
Downloads 157 total (7 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-

[back to package description]


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.