homepage: https://github.com/isovector/blagda#readme
changelog-type: markdown
hash: 91015309e740970c631d90990cbaf71d9c71d7fb8a090fd00267544b73d732f5
test-bench-deps: {}
maintainer: sandy@sandymaguire.me
synopsis: Shake frontend for Agda blogging
changelog: ''
basic-deps:
  shake: -any
  bytestring: -any
  SHA: -any
  base: '>=4.7 && <5'
  time: -any
  unordered-containers: -any
  text: -any
  syb: -any
  Agda: -any
  process: -any
  pandoc-types: -any
  containers: -any
  pandoc: -any
  uri-encode: -any
  mtl: -any
  blagda: -any
  mustache: -any
  tagsoup: -any
  aeson: -any
  directory: -any
all-versions:
- 0.1.0.0
author: Amélia Liao
latest: 0.1.0.0
description-type: markdown
description: |+
  # Blagda

  It's a blogging platform for Agda/markdown, based on the wonderful
  [1Lab](https://1lab.dev). But I've done a bad job of porting it, so this is a
  total mess and I'm sorry.

license-name: AGPL-3.0-only

Update from Hackage at 2022-03-02T02:42:34Z
Update from Hackage at 2022-03-02T02:42:34Z
